Symbolic Execution of the Gist Specification Language

  title={Symbolic Execution of the Gist Specification Language},
  author={Donald Cohen},
A b s t r a c t : 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 K O K O 2 , for the Gist specification language, and show how it copes with such high-level… CONTINUE READING


Publications referenced by this paper.

Use o f A u t o m a t i c Programming and S i m u l a t i o n t o F a c i l i t a t e O p e r a t i o n s o n Codasy l Da tabases " i n " S t a t e o f t he A r t Repor t DATABASE

  • P.M.D. Gray
  • S e r i e s 9 N o
  • 1982
Highly Influential
3 Excerpts

The Per fo rmance o f a R e l a t i o n a l I n t e r f a c e to a Codasy l Da tabase " i n P r o c

  • P. E. Ess lemont
  • BNC0D-2, e d . S.M.Deen and P.H. Hammersley, B r…
  • 1982

Moffat f o r each r e l a t i o n and t r i e s t o f i n d a n o v e r l a p i n accordance w i t h the c o n d i t i o n s g i v e n i n ( B e l l 1980

  • D. P. Gray
  • 1980

Similar Papers

Loading similar papers…