The following pages link to (Q4537520):
Displaying 9 items.
- A first-order language for expressing sharing and type properties of logic programs (Q1595252) (← links)
- Design of abstract domains using first-order logic (Q1960541) (← links)
- Variables as resource in separation logic (Q2852352) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q2936791) (← links)
- Compile—time detection of aliasing in euclid programs (Q3334050) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)
- Static Analysis (Q5466571) (← links)
