Towards a practical specification language.

Anne-Marie G. Discepolo

Published in: ACM Annual Conference (1981)

Keyphrases

specification language
formal specification
description language
programming language
software environment
real world
symbolic execution
general purpose
database
artificial intelligence
database systems
xml documents
dynamic programming
knowledge representation
orders of magnitude
test collection