Alias Types
No abstract available.
Related papers
- Type-Based Alias Analysis PLDI 1998
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- SAFECode: enforcing alias analysis for weakly typed languages PLDI 2006
- Using types to analyze and optimize object-oriented programs TOPLAS 2001
- Rely-guarantee references for refinement types over aliased mutable data PLDI 2013
- Rely-Guarantee Protocols ECOOP 2014
- Towards Alias-Free Pointers ECOOP 1996
- Dynamically managed data for CPU-GPU architectures CGO 2012