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

GET EBOOK

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic
Semantics and Algebraic Specification
Language: en
Pages: 418
Authors: Jens Palsberg
Categories: Computers
Type: BOOK - Published: 2009-08-28 - Publisher: Springer Science & Business Media

GET EBOOK

proceedings of the symposium. Somecontributorswereunabletoattendthe event.
CASL User Manual
Language: en
Pages: 239
Authors: Michel Bidoit
Categories: Computers
Type: BOOK - Published: 2004-01-29 - Publisher: Springer Science & Business Media

GET EBOOK

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and developm
Recent Trends in Algebraic Development Techniques
Language: en
Pages: 491
Authors: Didier Bert
Categories: Computers
Type: BOOK - Published: 2004-02-02 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in
From Semantics to Computer Science
Language: en
Pages: 595
Authors: Gilles Kahn
Categories: Computers
Type: BOOK - Published: 2009-09-24 - Publisher: Cambridge University Press

GET EBOOK

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the wor