An Object-Oriented Logic Language for Modular System Specification
Abstract elided by the publisher.
Related papers
- Enhancing modular OO verification with separation logic POPL 2008
- Modular Termination Verification ECOOP 2015
- Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP 2021
- Modular session types for distributed object-oriented programming POPL 2010
- Verifying Executable Object-Oriented Specifications with Separation Logic ECOOP 2010
- Modular Termination Verification of Single-Threaded and Multithreaded Programs TOPLAS 2018
- Modular Object-Oriented Programming with Units and Mixins ICFP 1998
- Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990