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
Reasoned Programmingby Krysia Broda et al - Prentice Hall Trade
The text for advanced undergraduate/graduate students of computer science. It introduces functional, imperative and logic programming and explains how to do it correctly. Functional programming is presented as a programming language in its own right.
(13043 views)
Comparative Studies of Programming Languagesby Joey Paquet, Serguei A. Mokhov - arXiv
Lecture notes for the Comparative Studies of Programming Languages course. These notes include a compiled book of primarily related articles from the Wikipedia, as well as Comparative Programming Languages book and other resources.
(10030 views)
Categories, Types, and Structuresby 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.
(18997 views)
A Practical Theory of Programmingby 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.
(14557 views)