Theories of Programming Languages

Front Cover
Cambridge University Press, Apr 2, 2009 - Computers - 516 pages
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 Predicate Logic
1
2 The Simple Imperative Language
24
3 Program Specifications and Their Proofs
54
4 Arrays
81
5 Failure InputOutput and Continuations
97
6 Transition Semantics
126
7 Nondeterminism and Guarded Commands
136
8 SharedVariable Concurrency
155
13 Iswimlike Languages
273
14 A NormalOrder Language
298
15 The Simple Type System
315
16 Subtypes and Intersection Types
349
17 Polymorphism
379
18 Module Specification
398
19 Algollike Languages
415
Mathematical Background
447

9 Communicating Sequential Processes
181
10 The Lambda Calculus
194
11 An Eager Functional Language
222
12 Continuations in a Functional Language
251
Bibliography
467
Index
483
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information