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. keywords:

This construct aids reuse of methods defined earlier and the maintenance of such
programs, since any modification to the inherited class is effective in all classes
that inherit it. However, neither the dynamic nor static semantics of KOOL are
dependent on the structure of the hierarchy itself. Rule [FO] removes the 'TV'
subclass of TV' construct by copying all instance variables and methods from the '
super class' TV to the (sub)class TV'. Methods and instance variables could get
multiply ...