The following pages link to The logic of aliasing (Q1145497):
Displaying 5 items.
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- On the notion of expressiveness and the rule of adaptation (Q1838825) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Heaps and Data Structures: A Challenge for Automated Provers (Q5200023) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)
