by A van Deursen (CWI, Amsterdam), J Heering (CWI, Amsterdam), & P Klint (CWI & Univ. Amsterdam)

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.

• Preface
• An Overview of ASF+SDF
• The Static Semantics of Pascal
• A Kernel Object-Oriented Language
• Typechecking with Modular Error Handling
• Multi-Level Specifications
• Incremental Typechecking
• Origin Tracking and Its Applications
• Second-Order Term Rewriting Specification of Static Semantics: An Exercise
• Origin Tracking for Higher-Order Term Rewriting Systems