Modular reasoning in an object-oriented refinement calculus

This publication has 13 references indexed in Scilit:

• Object-oriented multi-methods in Cecil
  Published by Springer Nature ,2006
• Static type checking of multi-methods
  ACM SIGPLAN Notices, 1991
• Data refinement of predicate transformers
  Theoretical Computer Science, 1991
• Modular specification and verification of object-oriented programs
  IEEE Software, 1991
• Designing an object-oriented programming language with behavioural subtyping
  Published by Springer Nature ,1991
• Reasoning about object-oriented programs that use subtypes
  ACM SIGPLAN Notices, 1990
• A lattice-theoretical basis for a specification language
  Published by Springer Nature ,1989
• A theoretical basis for stepwise refinement and the programming calculus
  Science of Computer Programming, 1987
• Specification statements and refinement
  IBM Journal of Research and Development, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985