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
Algebraic Specification Techniques and Tools for Software Development
Language: en
Pages: 268
Authors: Ingo Classen
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: World Scientific

DOWNLOAD EBOOK

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi
Algebraic Specifications in Software Engineering
Language: en
Pages: 362
Authors: Ivo Van Horebeek
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Man
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