| Syllabus |
Operational semantics (natural operational semantics, structural operational semantics).
&
Lambda-calculus essentials, reductions, normal forms, coding, operational semantics.
&
Semantics of recursion: fixed points,
Y operator, formalization using lambda-calculus.
&
Types and domains, fixed points, typed lambda-calculus.
&
Denotational semantics of functional and imperative languages, abstract syntax, data, memory, and control.
&
Equivalence.
Bibliography:
- G. Winskel, The formal semantics of programming languages, MIT Press, 1993
- J. Zlatuška, Lambda-kalkul, Masarykova univerzita, 1993in Czech
- D. S. Schmidt, The Structure of Typed Programming Languages, MIT Press, 1994
|
