Refinement of parameterized algebraic specifications.

Yellamraju V. Srinivas

Published in: Algorithmic Languages and Calculi (1997)

Keyphrases

functional requirements
linear algebra
query refinement
higher order
specification language
refinement process
artificial intelligence
computer vision
decision making
learning environment
petri net
formal specification
control flow
algebraic structure
delay insensitive
algebraic expressions