Programming language semantics

Operational and denotational semantics of programming languages and correctness of compilation: the IMP language (syntax, big- and small-step, heap semantics, denotational semantics, stack-machine compilation), PCF with adequacy and contextual equivalence, CPS translation and closure conversion.

• Closure conversion
• Continuation-passing style translation
• Nominal sets
• Operational semantics of IMP
• Compiling IMP to a stack machine
• Denotational semantics of IMP
• Heap semantics of IMP
• PCF and computational adequacy

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.