Practical Reasoning About Invocations and Implementations of Pure Methods

This publication has 14 references indexed in Scilit:

• Preliminary design of JML
  ACM SIGSOFT Software Engineering Notes, 2006
• Reasoning About Method Calls in Interface Specifications.
  The Journal of Object Technology, 2006
• Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
  Published by Springer Nature ,2006
• Boogie: A Modular Reusable Verifier for Object-Oriented Programs
  Published by Springer Nature ,2006
• A Verification Methodology for Model Fields
  Published by Springer Nature ,2006
• Reasoning with specifications containing method calls and model fields.
  The Journal of Object Technology, 2005
• The Spec# Programming System: An Overview
  Published by Springer Nature ,2005
• Verification of Object-Oriented Programs with Invariants.
  The Journal of Object Technology, 2004
• Object Invariants in Dynamic Contexts
  Published by Springer Nature ,2004
• Ownership types for flexible alias protection
  ACM SIGPLAN Notices, 1998