Language Prototyping

Program-Transformation.Org: The Program Transformation Wiki
Language Prototyping: An Algebraic Specification Approach

ArieVanDeursen, JanHeering, PaulKlint (editors)

World Scientific Publishing Co., 1996. AMAST Series in Computing, Volume 5.

Language prototyping means generating language implementations automatically from high-level language definitions. This volumepresents an algebraic specification approach to language prototyping using the ASFandSDF formalism and ASFandSDFMetaEnvironment. Many examples of actual language definitions illustrating various definition styles are given. Furthermore, several new techniques for deriving language implementations are proposed. The accompanying software is available in the public domain.