Symbolic Execution of the Gist Specification Language

Cohen, Donald

Symbolic Execution of the Gist Specification Language

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 17-19.

Abstract

Symbolic execution can help clarify the behavior implied by a program specification without implementing that specification , and can thereby assist the difficult process of developing a correct specification. However, symbolic execution of specifications poses problems that do not arise in symbolic execution of ordinary programming languages. We describe a symbolic evaluator, named KOK0 2, for the Gist specification language, and show how it copes with such high-level constructs as nondeterminism , constraints, and reference by description.

Donald Cohen. 1983. Symbolic Execution of the Gist Specification Language. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 17–19. https://ijcai.org/proceedings/1983/3

@inproceedings{ijcai1983p3,
  title     = {Symbolic Execution of the Gist Specification Language},
  author    = {Cohen, Donald},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {17--19},
  year      = {1983},
  note      = {Automatic Programming},
  url       = {https://ijcai.org/proceedings/1983/3},
}

TY  - CPAPER
TI  - Symbolic Execution of the Gist Specification Language
AU  - Cohen, Donald
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 17
EP  - 19
UR  - https://ijcai.org/proceedings/1983/3
ER  -