Enhancing the Pre- and Postcondition Technique for More Expressive Specifications

  title={Enhancing the Pre- and Postcondition Technique for More Expressive Specifications},
  author={Gary T. Leavens and Albert L. Baker},
  booktitle={World Congress on Formal Methods},
Education Massachusetts Institute of Technology, Cambridge, Mass. Sept. 1982–Dec. 1988 Doctor of Philosophy in Computer Science, received in June 1989. Thesis title: Verifying ObjectOriented Programs that use Subtypes. Thesis supervisor: Professor William E. Weihl. Minor in mathematics. University of Southern California, Los Angeles, Calif. Sept.1979–June 1980 Master of Science in Computer Science, received in June, 1980. The University of Michigan, Ann Arbor, Mich. Sept. 1975–April 1979… CONTINUE READING
Highly Cited
This paper has 76 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
45 Citations
42 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 45 extracted citations

77 Citations

Citations per Year
Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 42 references

Formal Speci cation and Design

  • L.M.G. Feijs, H.B.M. Jonkers
  • volume 35 of Cambridge Tracts in Theoretical…
  • 1992
Highly Influential
5 Excerpts

Formal Speci cation Techniques for Engineering Modular C Programs, volume 1 of Kluwer International Series in Software Engineering

  • Yang Meng Tan
  • 1995
Highly Influential
4 Excerpts

Formal speci cation techniques for promoting software modularity, enhancing documentation, and testing speci cations

  • Yang Meng Tan
  • Technical Report 619,
  • 1994
Highly Influential
4 Excerpts

Larch/C++ Reference Manual. Version 5.13. Available from the URL ftp://ftp.cs.iastate.edu/pub/larchc++/lcpp.ps.gz or http://www.cs.iastate.edu/~leavens/larchc++.html

  • Gary T. Leavens
  • 1997
1 Excerpt

Leavens and Jeannette M . Wing . Protective interface speci cations

  • T. Gary
  • TAPSOFT ' 97 : Theory and Practice of Software…
  • 1997

Leino . Toward Reliable Modular Programs

  • M. K.Rustan
  • 1997

Similar Papers

Loading similar papers…