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. We closely follow the presentation of the subject matter done by Glynn Winskel.
Pettorossi, A. (2016). Semantics of programming languages. Third Edition. Roma : Aracne.
Semantics of programming languages. Third Edition
PETTOROSSI, ALBERTO
2016-01-01
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. We closely follow the presentation of the subject matter done by Glynn Winskel.| File | Dimensione | Formato | |
|---|---|---|---|
|
101010-LectureNotes_SemProLan.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
206.46 kB
Formato
Adobe PDF
|
206.46 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
