Course Info

CSC 535: Formal Semantics of Programming Languages

Methods of formal semantics. Lambda-calculus. Lattices and domains. Reflexive domains. Formal semantics of the lambda-calculus. Languages with state. Interpretation functions. Expressions and environments. Command and stores. Control structures and continuations. PREREQUISITE(S): CSC 447.

CSC 447 is a prerequisite for this class.