Language Prototyping: an Algebraic Specification Approach (AMAST Series in Computing)

Language Prototyping: an Algebraic Specification Approach (AMAST Series in Computing)

By: P. Klint (author), J. Heering (author), A. van Deursen (author)Hardback

2 - 4 weeks availability

£85.00 With FREE Saver Delivery


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.

Create a review


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.

Product Details

  • publication date: 09/01/1996
  • ISBN13: 9789810227326
  • Format: Hardback
  • Number Of Pages: 376
  • ID: 9789810227326
  • weight: 635
  • ISBN10: 9810227329

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly