Publication Date:
2016
abstract:
In these lecture notes we present a few basic approaches to the definition of the semantics of programming languages. In particular, we present: (i) the operational semantics and the axiomatic semantics for a simple imperative language, and (ii) the operational semantics and the denotational semantics for some first order and higher order, typed functional languages. We then present some basic techniques for proving properties of imperative, functional, and concurrent programs.
Iris type:
03.01 Monografia o trattato scientifico
Keywords:
Semantics of Programming Languages
List of contributors: