Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Ugo Montanari's Home Page
We present the principles of operational semantics, the
principles of
denotational
semantics, and the techniques to relate one to the other for an
imperative
language, and for a higher order functional language.
Textbook: Glynn Winskel, The Formal Semantics of Programming
Languages,
MIT Press, 1993.
Some basic properties of models of computation are studied,
like
operational
and abstract semantics, typing, higher order, concurrency, interaction.
Algebraic semantics and elementary category theory are employed, but no
prerequisites are required except some elementary knowledge of logic
and
algebra.
Textbook: John Mitchell, Foundations for Programming Languages,
MIT
Press,
1996.