The following pages link to (Q5208779):
Displaying 5 items.
- Recurrence relations on heaps (Q1913701) (← links)
- Establishing local temporal heap safety properties with applications to compile-time memory management (Q2568456) (← links)
- Reversible Representation and Manipulation of Constructor Terms in the Heap (Q2868440) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- Verifying Temporal Heap Properties Specified via Evolution Logic (Q3424121) (← links)