A Report On The Development Of Gypsy

@inproceedings{Good1978ARO,
  title={A Report On The Development Of Gypsy},
  author={D. Good and R. M. Cohen and L. Hunter},
  booktitle={ACM Annual Conference},
  year={1978}
}
  • D. Good, R. M. Cohen, L. Hunter
  • Published in ACM Annual Conference 1978
  • Computer Science
  • The first version of Gypsy was introduced in 1976 to support the specification and construction of verified programs. A second version has evolved based on the experiences of the last two years. The changes introduced in the second version are described. Some experiences with the specification and proof methodology are discussed, and the status of the implementation of the Gypsy compiler and verification system is summarized. 

    Topics from this paper.

    References

    Publications referenced by this paper.
    Exception handling: issues and a proposed notation
    • 524
    • Highly Influential
    • PDF