Corpus ID: 2723970

Symbolic Execution of the Gist Specification Language

@inproceedings{Cohen1983SymbolicEO,
  title={Symbolic Execution of the Gist Specification Language},
  author={Donald Cohen},
  booktitle={IJCAI},
  year={1983}
}
  • Donald Cohen
  • Published in IJCAI 1983
  • Computer Science
  • 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 KOKO, for the Gist specification language, and show how it copes with such high-level constructs as nondeterminism… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 13 CITATIONS

    References

    Publications referenced by this paper.
    SHOWING 1-3 OF 3 REFERENCES

    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
    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    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 i s t o l
    • 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