Language Prototyping: An Algebraic Specification Approach
Author:   Jan Heering (Cwi, The Netherlands) ,  Paul Klint (Cwi, The Netherlands) ,  Arie Van Deursen (Cwi, The Netherlands) ,  Arie Van Deursen (Cwi, The Netherlands)
Publisher:   World Scientific Publishing Co Pte Ltd
Volume:   5
ISBN:  

9789810227326


Pages:   376
Publication Date:   01 September 1996
Format:   Hardback
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Our Price $190.08 Quantity:  
Add to Cart

Share |

Language Prototyping: An Algebraic Specification Approach


Overview

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 acompanying software is available in the public domain.

Full Product Details

Author:   Jan Heering (Cwi, The Netherlands) ,  Paul Klint (Cwi, The Netherlands) ,  Arie Van Deursen (Cwi, The Netherlands) ,  Arie Van Deursen (Cwi, The Netherlands)
Publisher:   World Scientific Publishing Co Pte Ltd
Imprint:   World Scientific Publishing Co Pte Ltd
Volume:   5
Dimensions:   Width: 16.20cm , Height: 2.50cm , Length: 22.60cm
Weight:   0.635kg
ISBN:  

9789810227326


ISBN 10:   9810227329
Pages:   376
Publication Date:   01 September 1996
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now