An introduction to the UMTA specification language.

Eldon W. Ziegler

Published in: SIGPLAN Symposium on Very High Level Languages (1974)

Keyphrases

specification language
programming language
formal specification
description language
symbolic execution
requirements specification
knowledge base
reinforcement learning
general purpose