Dynamic Alias Protection with Aliasing Contracts
Abstract elided by the publisher.
Related papers
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- Dynamic register promotion of stack variables CGO 2011
- The Undecidability of Aliasing TOPLAS 1994
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- Flexible Alias Protection ECOOP 1998
- Type-Based Alias Analysis PLDI 1998
- Expressing heap-shape contracts in linear logic GPCE 2006
- IDEal: efficient and precise alias-aware dataflow analysis OOPSLA 2017