Apr 18, 2024  
2014-2015 University Catalog 
    
Catalog Navigation
  Catalog Home
  General Information
  Academic Calendar
  Admissions
  Courses
  Disability Resources
  Undergraduate University Core
  University Regulations
  Undergraduate
  College of Agriculture
  College of Education
  College of Engineering
  College of Health and Human Sciences
  College of Liberal Arts
  School of Management
  College of Pharmacy
  College of Science
  College of Technology
  College of Veterinary Medicine
  Exploratory Studies
  Honors College
  Graduate
  Graduate Studies
  Combined Degree Programs
  Professional
  Doctor of Pharmacy
  Doctor of Veterinary Medicine
HELP
2014-2015 University Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

CS 56500 - Programming Languages

Credit Hours: 3.00. An exploration of modern or unconventional concepts of programming languages, their semantics, and their implementations; abstract data types; axiomatic semantics using Hoare’s logic and Dijkstra’s predicate transformers; denotational semantics; functional, object-oriented, and logic programming; concurrency and Owicki-Gries theory. Example languages include ML, Ada, Oberon, LISP, PROLOG, and CSP. Typically offered Spring.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)