Modular reasoning in an object-oriented refinement calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 669 LNCS, Issue , 1993, Pages 344-367

  Utting, Mark ^a   Robinson, Ken ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

LATE BINDINGS; MINIMUM REQUIREMENTS; MODULAR REASONING; OBJECT ORIENTED; POTENTIAL PROBLEMS; PROCEDURE CALL; REFINEMENT CALCULI; SIMPLE MODELING;

PROCEDURE ORIENTED LANGUAGES;

EID: 84958826934     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56625-2_22     Document Type: Conference Paper

References (25)

1. Rakesh Agrawal, Linda G. DeMichiel, and Bruce G. Lindsay. Static type checking of multi-methods. Sigplan Notices, 26(11):113–128, November 1991.
2. Pierre America. A behavioural approach to subtyping in object-oriented programming languages. Technical Report 443, Philips Research Laboratories, P.O. Box 80000, 5600 JA Eindhoven, The Netherlands, 1989.
3. Pierre America. Designing an object-oriented programming language with behavioural subtyping. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, pages 60–90. Springer-Verlag, 1991. Proceedings of REX School/Workshop, May/June 1990, LNCS 489.
4. R. J. R Back and J. von Wright. A lattice-theoretic basis for a specification language. In J. L. A. van de Snepscheut, editor, Mathematics of Program Construction, pages 139–156. Springer-Verlag, June 1989. LNCS 375.
5. Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, and David A. Moon. Common Lisp object system specification. SIGPLAN Notices, 23, September 1988. X3J13 Document 88-002R, June 1988.
6. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), December 1985.
7. Craig Chambers. Object-oriented multi-methods in Cecil. In O. Lehrmann Madsen, editor, ECOOP ‘92, pages 33–56. Springer-Verlag, 1992. LNCS 615.
8. Edsger W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
9. George W. Ernst, James A. Menegay, Raymond J. Hookway, and William F. Ogden. Semantics of programming languages for modular verification. Technical Report CES-85-4, Case Western Reserve University, October 1985.
10. Paul Gardiner and Carroll Morgan. Data refinement of predicate transformers. Theoretical Computer Science, 87:143–162, 1991.
11. Kurt J. Hebel and Ralph E. Johnson. Arithmetic and double dispatching in Smalltalk. Journal of Object-Oriented Programming, 2(6), March 1990.
12. Sonya E. Keene. Extended vision of methods in CLOS. Journal of Object-Oriented Programming, 2(4):76–78, November 1989.
13. Wilf R. LaLonde and John R. Pugh. Inside Smalltalk: Volume 1. Prentice-Hall, 1990.
14. Gary T. Leavens and William E. Weihl. Reasoning about object-oriented programs that use subtypes. SIGPLAN Notices, 25(10): 212-223, October 1990. Proceedings of OOPSLA ’90.
15. Gary Todd Leavens. Verifying Object-Oriented Programs that use Subtypes. PhD thesis, MIT Laboratory for Computer Science, 1989. Technical Report 439.
16. Gary Leavens. Modular specification and verification of object-oriented programs. IEEE Software, 8(4):72–80, July 1991.
17. Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
18. Carroll Morgan and Ken Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5), September 1987.
19. Carroll Morgan. Procedures, parameters and abstraction. Science of Computer Programming, 11, 1988.
20. Carroll Morgan. Programming from Specifications. Prentice Hall, 1990.
21. Joseph M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9:287–306, 1987.
22. Will Tracz. Modularization: Approaches to reuse in Ada. Journal of Pascal, Ada and Modula-2, 9(5):10–25, September 1990.
23. Mark Utting and Ken Robinson. The object-oriented lollipop: An example of subtyping. In Proceedings of the 1991 Australian Software Engineering Conference, 1991.
24. Mark Utting. An Object-Oriented Refinement Calculus with Modular Reasoning. PhD thesis, University of New South Wales, Australia, 1992.
25. Joakim von Wright. A Lattice-theoretical Basis for Program Refinement. PhD thesis, Åbo Akademi University, Lemminkäisenkatu 14, SF-20500 Turku, Finland, September 1990.