Language Prototyping An Algebraic Specification Approach

Download Language Prototyping An Algebraic Specification Approach PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Language Prototyping An Algebraic Specification Approach book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Language Prototyping: An Algebraic Specification Approach

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

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.
Algebraic Methods: Theory, Tools and Applications

Author: Martin Wirsing
language: en
Publisher: Springer Science & Business Media
Release Date: 1989-09-20