Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language.

Published in: Categorial Methods in Computer Science (1988)

Keyphrases

specification language
formal specification
description language
programming language
software environment
categorical data
symbolic execution
requirements specification
artificial intelligence
database systems
model checking
key features
model checker
database
general purpose
search algorithm
databases