Login / Signup
Extending an implementation language to a specification language.
E. R. Anderson
Frank C. Belz
Edward K. Blum
Published in:
Mathematical Studies of Information Processing (1978)
Keyphrases
</>
specification language
programming language
formal specification
description language
symbolic execution
software environment
case study
general purpose
requirements specification
databases
model checking
machine learning
artificial intelligence
information systems
natural language
fine grained