Dec 30, 2025  
2020-2021 University Catalog 
    
Catalog Navigation
  Catalog Home
  General Information
  Undergraduate University Core
  Disability Resources
  Academic Regulations & Student Conduct
  What’s New
  Undergraduate & Graduate Programs
  Undergraduate Certificates
  Undergraduate Minors
  Major Change (CODO) Requirements
  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
  Polytechnic Institute
  College of Science
  College of Veterinary Medicine
  Exploratory Studies
  School of Information Studies
  Honors College
  Office of the Provost
  Polytechnic Statewide
  Articulation Agreements/Transfer Single Articulation Programs
  Graduate
  Graduate Studies
  Combined Degree Programs (Purdue undergrad/grad)
  Joint and Dual Degrees (agreements involving an international University)
  Professional
  College of Pharmacy - Professional
  College of Veterinary Medicine - Professional
  My Portfolio
HELP
2020-2021 University Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (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.Credits: 3.00


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)