Semantics of programming languages (M5) 2+2

Semantic description methods. Denotational semantics. Semantic domains and semantic functions. Fixed point theory. The meaning of different language constructs. Operational semantics. Transition systems.

Natural semantics, structural operational semantics. The meaning of non-deterministic and parallel constructs. Equivalence results. Axiomatic program verification. Attribute grammars and two-level grammars. Static program analysis.


1998-05-25 11:39:43 MET DST
This page is maintained by the webmaster.
You are the # visitor of this page.