Topics in Advanced Language Implementation

"Topics in Advanced Language Implementation "brings together fifteen contributions at the leading edge of research in programming-language implementation techniques. These take up many of the important issues faced by researchers and practitioners in getting advanced languages such as Lisp, Scheme, and ML to run efficiently on today's computers and operating systems.Peter Lee is Assistant Professor in the School of Computer Science at Carnegie Mellon University. He is the author of Realistic Compiler Generation.Contents: Part I, Advanced Implementation Techniques.

The Implementation of Tags and Run-Time Type Checking, Peter A. Steenkiste. Advanced Register Allocation, Peter A.

Steenkiste. Flow Analysis and Type Recovery for Scheme, Olin Shivers. Garbage Collection, Andrew W.

Appel. Concurrent Garbage Collection for C++, David L. Detlefs.

Part II, Practice and Experience with Advanced Implementations. Design Considerations for CMU Common Lisp, Scott E. Fahlman.

Compilation Issues in the Scheme Implementation for the 88000, Uwe F. Pleban. The Implementation of Oaklisp, Kevin J.

Lang, Barak A. Pearlmutter. Part III, Parallel and Distributed Language.

Futures, Alessandro Forin. An Experimental Implementation of Connection Machine Lisp, Skef Wholey. Inheritance of Synchronization and Recovery Properties in Avalon/C++, David L.

Detlefs, Maurice P. Herlihy, Jeannette M. Wing.

Part IV, New and Unconventional Languages and Techniques. A Semifunctional Implementation of Higher-Order Logic Programming, Conal Elliott and Frank Pfenning. The Architecture of the PRL Mathematics Environment, Joseph L Bates.

A Simple Implementation of Object Storage for Common Lisp, Eugene J. Rollins. ArchitecturalConsiderations for Combinator Graph Reduction, Philip Koopmen, Jr., Peter Lee.