A logic of object-oriented programs

This publication has 20 references indexed in Scilit:

• Reasoning and refinement in object-oriented specification languages
  Published by Springer Nature ,2006
• A Theory of Objects
  Published by Springer Nature ,1996
• A behavioral notion of subtyping
  ACM Transactions on Programming Languages and Systems, 1994
• A simplified account of polymorphic references
  Information Processing Letters, 1994
• Modular specification and verification of object-oriented programs
  IEEE Software, 1991
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
  Journal of the ACM, 1979
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967