Select the desired Level or Schedule Type to find available classes for the course. |
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.
3.000 Credit hours Levels: Undergraduate, Graduate, Professional Schedule Types: Lecture Offered By: College of Science Department: Computer Science Course Attributes: CH Technical Electives, Upper Division May be offered at any of the following campuses: West Lafayette Restrictions: Must be enrolled in one of the following Levels: Graduate Must be enrolled in one of the following Majors: Computer Science Prerequisites: GR-CS 56500 Requisites General Requirements: ( Student Attribute: GR May not be taken concurrently. ) or ( Course or Test: CS 25100 Minimum Grade of D- May not be taken concurrently. and Course or Test: CS 35200 Minimum Grade of D- May not be taken concurrently. and Course or Test: CS 35400 Minimum Grade of D- May not be taken concurrently. and Course or Test: CS 48300 Minimum Grade of D- May not be taken concurrently. ) Short Title: Programming Languages Course Configurations:
|