Pages that link to "Item:Q815001"
From MaRDI portal
The following pages link to Transformational derivation of an improved alias analysis algorithm (Q815001):
Displaying 6 items.
- Alias analysis in Java with reference-set representation for high-performance computing (Q1878903) (← links)
- (Q2764059) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q2936791) (← links)
- Precise complexity guarantees for pointer analysis via Datalog with extensions (Q4593068) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)
- Compiler Construction (Q5308726) (← links)