Pages that link to "Item:Q5756731"
From MaRDI portal
The following pages link to Automatic Termination Proofs for Programs with Shape-Shifting Heaps (Q5756731):
Displaying 7 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
- Inference of Field-Sensitive Reachability and Cyclicity (Q2946745) (← links)
- Termination Graphs for Java Bytecode (Q3058449) (← links)
- Decision Procedures for Automating Termination Proofs (Q3075496) (← links)
