**Semantics of Programming Languages**

by Andrew M. Pitts

**Publisher**: University of Cambridge 2002**Number of pages**: 97

**Description**:

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 for free here:

**Download link**

(480KB, PDF)

## Similar books

**The Z Notation: A Reference Manual**

by

**J. M. Spivey**-

**Prentice Hall**

The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.

(

**6577**views)

**Proofs and Types**

by

**J. Girard, Y. Lafont, P. Taylor**-

**Cambridge University Press**

This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.

(

**11138**views)

**Programming Languages: Application and Interpretation**

by

**Shriram Krishnamurthi**-

**Lulu.com**

The textbook for a programming languages course, taken primarily by advanced undergraduate and beginning graduate students. This book assumes that students have modest mathematical maturity, and are familiar with the existence of the Halting Problem.

(

**7527**views)

**Categories, Types, and Structures**

by

**Andrea Asperti, Giuseppe Longo**-

**MIT Press**

Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.

(

**12245**views)