Language Prototyping: An Algebraic Specification Approach
Arie van Deursen, Jan Heering, Paul Klint · Amast series in computing · 1996
From the Publisher: 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.