Symbolic Execution of the Gist Specification Language.

Published in: IJCAI (1983)

Keyphrases

specification language
symbolic execution
programming language
formal specification
description language
software environment
artificial intelligence
case study
multi agent
data warehouse
object oriented