**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

**Computational Category Theory**

by

**D.E. Rydeheard, R.M. Burstall**

The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.

(

**10559**views)

**Principles of Programming Languages**

by

**Mike Grant, Zachary Palmer, Scott Smith**

An introduction to the study of programming languages for juniors, seniors, and graduate students. The book treats topics from a foundational perspective, it focuses on core concepts in language design, not directly on applied languages.

(

**15052**views)

**A Practical Theory of Programming**

by

**Eric C.R. Hehner**-

**Springer**

Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.

(

**8506**views)

**Semantics With Applications: A Formal Introduction**

by

**Hanne Riis Nielson, Flemming Nielson**-

**John Wiley & Sons**

The book covers the foundations of structural operational semantics and natural semantics. It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs.

(

**6979**views)