The following pages link to (Q4808824):
Displaying 10 items.
- Lazy behavioral subtyping (Q710675) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- Lightweight Separation (Q3543659) (← links)
