Algol-like Languages

by Peter O'Hearn, Robert Tennent

Overview

Volume 2 consists of more specialized and more technically demanding material; this volume will be suitable for advanced seminars and researchers with adequate background in logic, semantics, type theory and category theory.

Product Details

ISBN-13:	9780817638801
Publisher:	Birkhäuser Boston
Publication date:	12/01/1996
Series:	Progress in Theoretical Computer Science
Edition description:	1996
Pages:	288
Product dimensions:	6.14(w) x 9.21(h) x 0.36(d)

Table of Contents

I Historical Background.- 1 Revised Report on the Algorithmic Language ALGOL 60.- 2 The Varieties of Programming Language.- II Basic Principles.- 3 The Essence of ALGOL.- 4 ALGOL and Functional Programming.- 5 Orthogonality of Assignments and Procedures in ALGOL.- 6 IDEALIZED ALGOL and its Specification Logic.- 7 Towards Fully Abstract Semantics for Local Variables.- III Language Design.- 8 Design of the Programming Language FORSYTHE.- 9 Assignments for Applicative Languages.- 10 Syntactic Control of Interference.