Essentials of programming languages
By: Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
Contributors: Wand, Mitchell; Haynes, Christopher Thomas
Edition: Second edition.
Publisher: MIT Press
Published: 2001
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 389
ISBN-13: 9780585386928
Copyright date: 2001
Subjects: Programming languages (Electronic computers); COMPUTERS; Programming Languages; General; Programmeertalen
Notes: Includes bibliographical references (pages 361-366) and index.
Table of contents: title: Inductive sets of data. Recursively specified data; title: Recursively specified programs; title: Scoping and binding variables; title: Data abstraction. Specifying data via interfaces; title: Abstraction for inductive data types; title: Representation strategies for data types; title: Queue abstraction; title: Environment-passing interpreters. Simple interpreter; title: Front end; title: Conditional evaluation; title: Local binding; title: Procedures; title: Recursion; title: Variable assignment; title: Parameter-passing variations; title: Statements; title: Types. Typed languages; title: Type checking; title: Enforcing abstraction boundaries; title: Type inference; title: Objects and classes. Object-oriented programming; title: Inheritance; title: Language; title: Four implementations; title: Objects and types. Simple typed object-oriented language; title: Type checker; title: Translator; title: Continuation-passing interpreters. Continuation-passing interpreter; title: Procedural representation of continuations; title: Imperative interpreter; title: Exceptions and control flow; title: Multithreading; title: Logic programming; title: Continuation-passing style. Tail form; title: Converting to continuation-passing style; title: Examples of the CPS transformation; title: Implementing the CPS transformation; title: Modeling computational effects; title: SLLGEN Parsing system.