Pages that link to "Item:Q5308091"
From MaRDI portal
The following pages link to A logical analysis of aliasing in imperative higher-order functions (Q5308091):
Displaying 5 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q2936791) (← links)
- Aliasing Control in an Imperative Pure Calculus (Q3460909) (← links)
- Compiler Construction (Q5308726) (← links)