Language Prototyping: An Algebraic Specification Approach
Seiten
1996
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-2732-6 (ISBN)
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-2732-6 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
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.
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.
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.
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.
| Erscheint lt. Verlag | 1.9.1996 |
|---|---|
| Reihe/Serie | Amast Series In Computing ; 5 |
| Verlagsort | Singapore |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Mathematik / Informatik ► Mathematik ► Algebra | |
| ISBN-10 | 981-02-2732-9 / 9810227329 |
| ISBN-13 | 978-981-02-2732-6 / 9789810227326 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …
Buch (2023)
Hanser (Verlag)
CHF 125,95
