Principles of Programming Languages

Preface to the Third Edition
Preface
Concept Directory
History, Motivation, and Evaluation
Design and Implementation
Principles
Implementation
Introduction
The Beginning: Pseudo-Code Interpreters
History and Motivation
Design of a Pseudo-Code
Implementation
Phenomenology of Programming Languages
Evaluation and Epilog
Exercises
Emphasis on Effiency: Fortran
History and Motivation
Design: Structural Organization
Design: Control Structures
Design: Data Structures
Design: Name Structures
Design: Syntactic Structures
Evaluation and Epilog
Exercises
Generality and Hierarchy: Algol-60
History and Motivation
Design: Structural Organization
Design: Name Structures
Design: Data Structures
Design: Control Structures
Exercises
Syntax and Elegance: Algol-60
Design: Syntactic Structures
Descriptive Tools: BNF
Design: Elegance
Evaluation and Epilog
Exercises
Return to Simplicity: Pascal
History and Motivation
Design: Structural Organization
Design: Data Structures
Design: Name Structures
Design: Control Structures
Evaluation and Epilog
Exercises
Implementation of Block-Structured Languages
Activation Records and Context
Procedure Call and Return
Display Method
Blocks
Summary
Exercises
Modularity and Data Abstraction: ADA
History and Motivation
Design: Structural Organization
Design: Data Structures and Typing
Design: Name Structures
Exercises
Procedures and Concurrency: ADA
Design: Control Structures
Design: Syntactic Structures
Evaluation and Epilog
Exercises
List Processing: LISP
History and Motivation
Design: Structural Organization
Design: Data Structures
Exercises
Functional Programming: LISP
Design: Control Structures
Design: Name Structures
Design: Syntactic Structures
Exercises
Implementation of Recursive List-Processors:
LISP
Recursive Interpreters
Storage Reclamation
Evaluation and Epilog
Exercises
Object-Oriented Programming: Smalltalk
History and Motivation
Design: Structural Organization
Design: Classes and Subclasses
Design: Objects and Message Sending
Implementation: Classes and Objects
Design: Object-Oriented Extensions
Evaluation and Epilog
Exercises
Logic Programming: Prolog
History and Motivation
Design: Structural Organization
Design: Data Structures
Design: Control Structures
Evaluation and Epilog
Exercises
Principles of Language Design
General Remarks
Principles
Exercises
Bibliography
Index