|
|
|
AMAST Series in Computing - Vol. 5
LANGUAGE PROTOTYPING: AN ALGEBRAIC SPECIFICATION APPROACH
by A van Deursen, 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.
Contents:
- Preface
- An Overview of ASF+SDF
- The Static Semantics of Pascal
- A
Kernel Object-Oriented Language
- Typechecking with Modular Error Handling
- Multi-Level Specifications
- Incremental Typechecking
- Origin Tracking and Its Applications
- Second-Order Term Rewriting Specification of Static Semantics: An Exercise
- Origin Tracking for Higher-Order Term Rewriting Systems
Readership: Software practitioners, graduate students and researchers in
computer science.
| 376pp |
Pub. date: Sept 1996 |
|
|
