Language Prototyping: An Algebraic Specification Approach
Innbundet /
1996
/ Engelsk
Produktdetaljer
ISBN
9789810227326
Publisert
1996-09-01
Utgiver
Vendor
World Scientific Publishing Co Pte Ltd
Aldersnivå
UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
376
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.
Les mer
This volume presents an algebraic specification approach to language prototyping, and is centred around the ASF+SDF formalism and meta-environment. Included are chapters proposing new techniques for deriving advanced language implications.
Les mer
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.
Les mer
Produktdetaljer
ISBN
9789810227326
Publisert
1996-09-01
Utgiver
Vendor
World Scientific Publishing Co Pte Ltd
Aldersnivå
UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
376