Language Prototyping: An Algebraic Specification Approach

Language Prototyping: An Algebraic Specification Approach
Author :
Publisher : World Scientific
Total Pages : 375
Release :
ISBN-10 : 9789814498739
ISBN-13 : 9814498734
Rating : 4/5 (734 Downloads)

Book Synopsis Language Prototyping: An Algebraic Specification Approach by : Jan Heering

Download or read book Language Prototyping: An Algebraic Specification Approach written by Jan Heering and published by World Scientific. This book was released on 1996-09-30 with total page 375 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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: An Algebraic Specification Approach Related Books

Language Prototyping
Language: en
Pages: 375
Authors: Arie Deursen
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: World Scientific

DOWNLOAD EBOOK

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic
Algebraic Methods: Theory, Tools and Applications
Language: en
Pages: 572
Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 1989-09-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Semantics and Algebraic Specification
Language: en
Pages: 418
Authors: Jens Palsberg
Categories: Computers
Type: BOOK - Published: 2009-08-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

proceedings of the symposium. Somecontributorswereunabletoattendthe event.
Recent Trends in Algebraic Development Techniques
Language: en
Pages: 491
Authors: Didier Bert
Categories: Computers
Type: BOOK - Published: 2004-02-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in
Compiler Construction
Language: en
Pages: 327
Authors: Stefan Jähnichen
Categories: Computers
Type: BOOK - Published: 2004-01-27 - Publisher: Springer

DOWNLOAD EBOOK

ETAPS’99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was establis