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: An Algebraic Specification Approach
Language: en
Pages: 375
Authors: Jan Heering
Categories: Computers
Type: BOOK - Published: 1996-09-30 - 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
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

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Language: en
Pages: 198
Authors: Razvan Diaconescu
Categories: Computers
Type: BOOK - Published: 1998-06-30 - Publisher: World Scientific

DOWNLOAD EBOOK

CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such
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