Essentials of Programming Languages

Table of Contents
......Page 6
Foreword......Page 10
Preface......Page 16
Acknowledgments......Page 22
1.1 Recursively Specified Data......Page 24
1.2 Deriving Recursive Programs......Page 35
1.3 Auxiliary Procedures and Context Arguments......Page 45
1.4 Exercises......Page 48
2.1 Specifying Data via Interfaces......Page 54
2.2 Representation Strategies for Data Types......Page 58
2.3 Interfaces for Recursive Data Types......Page 65
2.4 A Tool for Defining Recursive Data Types......Page 68
2.5 Abstract Syntax and Its Representation......Page 74
3.1 Specification and Implementation Strategy......Page 80
3.2 LET: A Simple Language......Page 83
3.3 PROC: A Language with Procedures......Page 97
3.4 LETREC: A Language with Recursive Procedures......Page 105
3.5 Scoping and Binding of Variables......Page 110
3.6 Eliminating Variable Names......Page 114
3.7 Implementing Lexical Addressing......Page 116
4.1 Computational Effects......Page 126
4.2 EXPLICIT-REFS: A Language with Explicit References......Page 127
4.3 IMPLICIT-REFS: A Language with Implicit References......Page 136
4.4 MUTABLE-PAIRS: A Language with Mutable Pairs......Page 147
4.5 Parameter-Passing Variations......Page 153
5: Continuation-Passing Interpreters
......Page 162
5.1 A Continuation-Passing Interpreter......Page 164
5.2 A Trampolined Interpreter......Page 178
5.3 An Imperative Interpreter......Page 183
5.4 Exceptions......Page 194
5.5 Threads......Page 202
6.1 Writing Programs in Continuation-Passing Style......Page 216
6.2 Tail Form......Page 226
6.3 Converting to Continuation-Passing Style......Page 235
6.4 Modeling Computational Effects......Page 249
7: Types
......Page 256
7.1 Values and Their Types......Page 258
7.2 Assigning a Type to an Expression......Page 261
7.3 CHECKED: A Type-Checked Language......Page 263
7.4 INFERRED: A Language with Type Inference......Page 271
8: Modules
......Page 298
8.1 The Simple Module System......Page 299
8.2 Modules That Declare Types......Page 315
8.3 Module Procedures......Page 334
9: Objects and Classes
......Page 348
9.1 Object-Oriented Programming......Page 349
9.2 Inheritance......Page 352
9.3 The Language......Page 357
9.4 The Interpreter......Page 359
9.5 A Typed Language......Page 375
9.6 The Type Checker......Page 381
A: For Further Reading
......Page 396
B: The SLLGEN Parsing System
......Page 402
Bibliography......Page 416
Index......Page 424