Structured Aliasing
No abstract available.
Related papers
- A logical analysis of aliasing in imperative higher-order functions JFP 2007
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- The Undecidability of Aliasing TOPLAS 1994
- Analyzing Aliases of Reference Formal Parameters POPL 1985
- On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications POPL 1990
- Detecting Conflicts Between Structure Accesses PLDI 1988
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- A practical type system for safe aliasing SLE 2018