Modular specification and verification of object-oriented programs

IEEE Software

Volumn 8, Issue 4, 1991, Pages 72-80

  Leavens, Gary T ^a  

^a IOWA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE - TESTING;

MODULAR SPECIFICATION; OBJECT-ORIENTED PROGRAMS VERIFICATION; SEMANTIC CONSTRAINTS; SUBTYPE POLYMORPHISM; SUPERTYPE ABSTRACTION; SYNTACTIC CONSTRAINTS;

COMPUTER PROGRAMMING;

EID: 0026186463     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.300040     Document Type: Article

References (8)

1. A. Snyder, “Encapsulation and Inheritance in Object-Oriented Programming Languages,” ACM SIGPlan Notices, Nov. 1986, pp. 38-45.
2. G.T. Leavens and W.E. Weihl, “Reasoning about Object-Oriented Programs That Use Subtypes,” ACM SIGPlan Notices, Oct. 1990, pp. 212-223.
3. G.T. Leavens, “Modular Verification of Object-Oriented Programs with Subtypes,” Tech. Report 90-09, Computer Science Dept., Iowa State Univ., Ames, Iowa, 1990.
4. J.V. Guttag, J.J. Horning, and J.M. Wing, “The Larch Family of Specification Languages,” IEEE Software, Sept. 1985, pp. 24-36.
5. J.V. Guttag and J.J. Horning, “A Larch Shared-Language Handbook,” Science of Computer Programming, March 1986, pp. 135-157.
6. P. Wadler and S. Blott, “How to Make Ad Hoc Polymorphism Less Ad Hoc,” Conf. Record 16th Ann. ACM Symp. Principles Programming Languages, AGM, New York, 1989, pp. 60-76.
7. C.A.R. Hoare, “Proof of Correctness of Data Representations,” Acta Informatica, Vol. 1 No. 4, 1972, pp. 271-281.
8. J.C. Reynolds, “Using Category Theory to Design Implicit Conversions and Generic Operators,” in Semantics-Directed Compiler Generation, N.D. Jones, ed., Lecture Notes in Computer Science series. Vol. 94, Springer-Verlag, Berlin, 1980, pp. 211-258.