A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
No abstract available.
Related papers
- Reasoning about Java Classes (Preliminary Report) OOPSLA 1998
- Functional Design and Implementation of Graphical User Interfaces for Theorem Provers JFP 1999
- Separation logic + superposition calculus = heap theorem prover PLDI 2011
- Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle CAV 1998
- Object-Preserving Class Transformations OOPSLA 1991
- Structural embeddings revisited (invited talk) CPP 2022
- Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems OOPSLA 1994
- Development of an OO Infrastructure for Mainframe Database Applications OOPSLA 1994