Programming Language Theory

Cover
	Title Page
	Copyright
	ABOUT THE AUTHOR
	TABLE OF CONTENTS
List of Figures
List of Tables
List of Abbreviations
Preface
Chapter 1 Introduction to the Theory of Programming Language
	1.1. Introduction
	1.2. Inductive Definitions
	1.3. Languages
	1.4. Three Ways to Define the Semantics of a Language
	1.5. Non-Termination
	1.6. Programming Domains
	1.7. Language Evaluation Criteria
	References
Chapter 2 Evaluation of Major Programming Languages
	2.1. Introduction
	2.2. Zuse’s Plankalkül
	2.3. Pseudocodes
	2.4. IBM 704 and Fortran
	2.5. Functional Programming: LISP
	2.6. Computerizing Business Records
	2.7. The Early Stages of Timesharing
	2.8. Two Initial Dynamic Languages: Snobol and APL
	2.9. Object-Oriented Programming: Smalltalk
	2.10. Merging Imperative and Object-Oriented Characteristics
	2.11. An Imperative-Centered Object-Oriented Language: Java
	2.12. Markup-Programming Hybrid Languages
	2.13. Scripting Languages
	References
Chapter 3 The Language PCF
	3.1. Introduction
	3.2. A Functional Language: PCF
	3.3. Small-Step Operational Semantics for PCF
	3.4. Reduction Strategies
	3.5. Big-Step Operational Semantics for PCF
	3.6. Evaluation of PCF Programs
	References
Chapter 4 Describing Syntax and Semantics
	4.1. Introduction
	4.2. The General Problem of Describing Syntax
	4.3. Formal Methods of Describing Syntax
	4.4. Attribute Grammars
	4.5. Describing the Meanings of Programs
	References
Chapter 5 Lexical and Syntax Analysis
	5.1. Introduction
	5.2. Lexical Analysis
	5.3. The Parsing Problem
	5.4. Recursive-Descent Parsing
	5.5. Bottom-Up Parsing
	5.6. Summary
	References
Chapter 6 Names, Bindings, and Scopes
	6.1. Introduction
	6.2. Names
	6.3. Variables
	6.4. The Concept of Binding
	6.5. Scope
	References
Chapter 7 Data Types
	7.1. Introduction
	7.2. Primitive Data Types
	7.3. Character String Types
	References
Chapter 8 Support for Object-Oriented Programming
	8.1. Introduction
	8.2. Object-Oriented Programming
	8.3. Design Issues for Object-Oriented Languages
	8.4. Support for Object-Oriented Programming in Specific Languages
	References
Index
	Back Cover