Pages that link to "Item:Q2936791"
From MaRDI portal
The following pages link to A logical analysis of aliasing in imperative higher-order functions (Q2936791):
Displaying 7 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Aliasing Control in an Imperative Pure Calculus (Q3460909) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)
- Compiler Construction (Q5308726) (← links)