Algebraic Specification

Front Cover
ACM Press, 1989 - Computers - 397 pages
0 Reviews
This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The algebraic specification formalism ASF
1
A simple programming language and its implementation
67
SMALL dynamic semantics of a language with GOTOS
133
Copyright

8 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information