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 Specifications in Software Engineering
Language: en
Pages: 376
Authors: Ivo van Horebeek
Categories: Abstract data types (Computer science).
Type: BOOK - Published: 1989 - Publisher:

DOWNLOAD EBOOK

Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Language: en
Pages: 256
Authors: Claben Ingo
Categories: Computers
Type: BOOK - Published: 1993-11-30 - Publisher: World Scientific Publishing Company

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
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Fundamentals of Algebraic Specification 2
Language: en
Pages: 460
Authors: Hartmut Ehrig
Categories: Mathematics
Type: BOOK - Published: 1989-12-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for