Object-oriented verification based on record subtyping in Higher-Order Logic

This publication has 7 references indexed in Scilit:

• Reasoning about classes in object-oriented languages: Logical models and tools
  Published by Springer Nature ,1998
• Type classes and overloading in higher-order logic
  Published by Springer Nature ,1997
• Towards an object-oriented progification language
  Published by Springer Nature ,1997
• Simple type-theoretic foundations for object-oriented programming
  Journal of Functional Programming, 1994
• Isabelle
  Published by Springer Nature ,1994
• Abstract types have existential type
  ACM Transactions on Programming Languages and Systems, 1988
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940