search for books and compare prices
Tables of Contents for Essentials of Programming Languages
Chapter/Section Title
Page #
Page Count
Foreword
vii
Preface
xi
Acknowledgments
xvii
Inductive Sets of Data
1
38
Recursively Specified Data
1
8
Recursively Specified Programs
9
19
Scoping and Binding of Variables
28
11
Data Abstraction
39
30
Specifying Data via Interfaces
39
3
An Abstraction for Inductive Data Types
42
13
Representation Strategies for Data Types
55
11
A Queue Abstraction
66
3
Environment-Passing Interpreters
69
56
A Simple Interpreter
71
4
The Front End
75
5
Conditional Evaluation
80
1
Local Binding
81
3
Procedures
84
8
Recursion
92
6
Variable Assignment
98
9
Parameter-Passing Variations
107
13
Statements
120
5
Types
125
44
Typed Languages
125
7
Type Checking
132
11
Enforcing Abstraction Boundaries
143
9
Type Inference
152
17
Objects and Classes
169
36
Object-Oriented Programming
171
2
Inheritance
173
6
The Language
179
4
Four implementations
183
22
Objects and Types
205
36
A Simple Typed Object-Oriented Language
205
6
The Type Checker
211
18
The Translator
229
12
Continuation-Passing Interpreters
241
60
A Continuation-Passing Interpreter
243
18
Procedural Representation of Continuations
261
3
An Imperative Interpreter
264
13
Exceptions and Control Flow
277
7
Multithreading
284
11
Logic Programming
295
6
Continuation-Passing Style
301
44
Tail Form
302
6
Converting to Continuation-Passing Style
308
9
Examples of the CPS Transformation
317
10
Implementing the CPS Transformation
327
11
Modeling computational effects
338
7
The SLLGEN Parsing System
345
14
For Further Reading
359
2
Bibliography
361
6
Index
367