A Report On The Development Of Gypsy

@inproceedings{Good1978ARO,
  title={A Report On The Development Of Gypsy},
  author={Donald I. Good and Richard M. Cohen and Lawrence W. Hunter},
  booktitle={ACM Annual Conference},
  year={1978}
}
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.

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

A Comparative Survey of Concurrent Programming Languages

  • SIGPLAN Notices
  • 1982
VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

References

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

Exception Handling: Issues and a Proposed Notation

  • Commun. ACM
  • 1975
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

ed

D. I. Good
  • "Constructing Verlfiably Reliable and Secure Communications Processing Systems , Final Report of the Certifiable Minicomputer Project, ICSCA-CMP-6, The University of Texas at Austin
  • 1977
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

The Purpose of Concurrent Pascal

Per Brinch Hansen
  • Proceedings ICRS,
  • 1975
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL