Welcome to E-Books Directory
This is a freely downloadable e-book.

Semantics of Programming Languages

Semantics of Programming Languages
by Andrew M. Pitts

Publisher: University of Cambridge 2002
Number of pages: 97

The aim of the course is to introduce the structural, operational approach to programming language semantics. The course shows how this formalism is used to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.

Download or read it online here:

Download link

 (480KB, PDF)