Semantics With Applications: A Formal Introduction
by Hanne Riis Nielson, Flemming Nielson
Publisher: John Wiley & Sons 1992
Number of pages: 250
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step). It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs. It also presents proof principles for operational semantics and investigate the relationship between the two approaches to operational semantics. Problems from areas such as compiler construction, software validation, and program verication will be used to demonstrate the practical utility of semantics.
Home page url
Download or read it online for free here:
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.
This book is an attempt to describe a bit of the programming languages zoo. We use each of the particular languages to introduce fundamental notions related to the design and the implementation of general purpose programming languages.
by Peter Selinger - Dalhousie University
Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.
by Mira Balaban - Ben-Gurion University of the Negev
This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.