The following pages link to (Q4934618):
Displayed 6 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Program logic and equivalence in the presence of garbage collection. (Q1874283) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- Reasoning about Assignments in Recursive Data Structures (Q2999318) (← links)