Some Thoughts on Algebraic Specification.

Donald Sannella Andrzej Tarlecki

Published in: ADT (1984)

Keyphrases

high level
database
higher order
algebraic structure
transition systems
information retrieval
genetic algorithm
computer vision
database systems
data exchange
formal specification
formal verification