Semantics of Programming Languages

Topics

  1. Introduction (Härmel Nestra; slides by Varmo Vene)
    • Based on Nielsons, Chap. 1
  2. Operational Semantics (Härmel Nestra; slides by Varmo Vene)
    • Based on Nielsons, Chap. 2, 3
    • Presumes Topic 1
  3. Blocks, Procedures, Parameters (Abel Armas Cervantes)
    • Based on Hüttel, Chap. 7, 10
    • Presumes Topic 2
  4. Multi-Threaded Processes
    • Based on Hüttel, Chap. 8
    • Presumes Topic 2
  5. Elements of Lattice and Domain Theory
    • Based on Nielsons & Hankin, Appendix A, and Nielsons, Sect. 5.2
    • Presumes Topic 6
  6. Denotational Semantics
    • Based on Nielsons, Sect. 5.1, 5.3, 5.4
    • Presumes Topics 2, 5
  7. Axiomatic Semantics
    • Based on Nielsons, Chap. 9
    • Presumes Topic 6
  8. Recursion Semantics
    • Based on Winskel, Chap. 9
    • Presumes Topic 6
Sidebar
Page edit