Language Prototyping: An Algebraic Specification Approach
Will be published approx. on 1. September 1996
Book
Hardback
376 pages
978-981-02-2732-6 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
ISBN-13
978-981-02-2732-6 (9789810227326)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
An overview of ASF+SDF; the static semantics of Pascal; a specification of the object-oriented langauge KOOL; modular error handling; functional programs with multi-level signatures; incremental type checking; origin tracking; second-order type checking; origin tracking for higher-order term rewriting systems.