A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

This publication has 8 references indexed in Scilit:

• Verification for Java’s Reentrant Multithreading Concept
  Published by Springer Nature ,2002
• Hoare logic for Java in Isabelle/HOL
  Concurrency and Computation: Practice and Experience, 2001
• A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
  Published by Springer Nature ,2001
• Java Program Verification via a Hoare Logic with Abrupt Termination
  Published by Springer Nature ,2000
• A Programming Logic for Sequential Java
  Published by Springer Nature ,1999
• A WP-calculus for OO
  Published by Springer Nature ,1999
• Axiomatic approach to side effects and general jumps
  Acta Informatica, 1977
• An axiomatic basis for computer programming
  Communications of the ACM, 1969