Notions of aliasing and ownership

摘要: We survey notions of aliasing and ownership. An extreme but conceptually useful model is that pure linear languages where each object constructed once read, being consumed, once. see more realistic programming as relaxing this to allow multiple references an (spatial aliasing) or sequenced operations on a single live reference (temporal before the deallocated. Concurrency complicates things (concurrent because spatial may only happen under certain scheduling conditions. argue view closely related type tags in low-level implementations dynamic types. Similarly, we ownership corresponds higher-level structured net objects references, analogous types languages. In same way not all high-level data-structure consistency requirements can be captured by existing practical syntactic forms, forms control (uniqueness, owners-as-dominators, owners-as-modifiers static capabilities), which successful limited domain. We conclude arguing for holistic approach topic