DD2454 Semantics for Programming Languages 6.0 credits
Semantik för programspråk
This course has been discontinued.
Last planned examination: Autumn 2011
Decision to discontinue this course: No information inserted
To give a semantics for a programming language means to give a precise definition of the behaviour of programs written in this language. Only when the semantics of the language has been fixed, one can go about to prove such important properties like determinism and termination, equivalence of constructs, or that a given program meets its specification. Different semantic styles have been developed for different purposes, depending on the level of detail needed for the particular task. The most important ones are: operational semantics, denotational semantics and axiomatic semantics.