|
LANGUAGE PROTOTYPING: AN ALGEBRAIC SPECIFICATION APPROACH
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.
|