Legacy Course Catalog
C S 565 - Programming Languages
Effectivity: | 05/12/2008 - Fall 2007 *** @ Purdue West Lafayette Traditional |
---|---|
Credits: | 3 |
Instructional Types: | Lec |
Usually Offered: | spr |
Short Title: | Programming Languages |
Description: | 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. |
School: | School Of Science |
Department: | Computer Science |
Credit By Exam: | NO |
Repeatable Flag: | NO |
Temporary Flag: | NO |
Full Time Privilege Flag: | NO |
Honors Flag: | NO |
Variable Title Flag: | NO |
Fall 2007 *** indicates the course was still an active course and was transferred to the Banner Catalog effective Spring 2008. This course was not expired Fall 2007.