Language Prototyping: An Algebraic Specification Approach

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.
Contents: PrefaceAn Overview of ASF+SDFThe Static Semantics of PascalA Kernel Object-Oriented LanguageTypechecking with Modular Error HandlingMulti-Level SpecificationsIncremental TypecheckingOrigin Tracking and Its ApplicationsSecond-Order Term Rewriting Specification of Static Semantics: An ExerciseOrigin Tracking for Higher-Order Term Rewriting Systems
Readership: Software practitioners, graduate students and researchers in computer science.