Related Books

Language Prototyping: An Algebraic Specification Approach
Language: en
Pages: 375

Language Prototyping: An Algebraic Specification Approach

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

Language Prototyping

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

Algebraic Methods: Theory, Tools and Applications

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

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

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

Recent Trends in Algebraic Development Techniques

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