Description
Language design and paradigms, including concepts underlying functional, logic, object-oriented and parallel paradigms. Theoretical foundations, including lambda calculus, denotational and axiomatic semantics. Proofs of program correctness. Programming projects emphasizing different aspects of language design.
Prerequisite: CS 152 or instructor consent.
Grading
Normal Grade Rules
Units
3
Page last generated: 06/24/2009 16:44:46
print
mail