Login / Signup

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