Corpus ID: 732430

Ownership You Can Count On

  title={Ownership You Can Count On},
  • Published 2006
  • While many forms of memory management have been proposed, the only ones to achieve widespread adoption have been explicit deallocation and garbage collection. This leaves programmers requiring explicit control of memory behavior unable to obtain the software engineering and security benefits of programming in a safe language. We present a new approach to memory management called alias counting which combines type-based object ownership and run-time reference counting of references by non-owning… CONTINUE READING


    Publications referenced by this paper.
    Ownership types for safe region-based memory management in real-time Java
    • 194
    • Open Access
    Scoped types for real-time Java
    • 73
    • Open Access
    Experience with safe manual memory-management in cyclone
    • 85
    • Open Access
    Ownership types for safe programming: preventing data races and deadlocks
    • 600
    • Open Access
    Adoption and focus: practical linear types for imperative programming
    • 295
    • Open Access
    Language support for regions
    • 155
    • Open Access
    Ownership types for flexible alias protection
    • 637
    • Open Access
    Scheduling Garbage Collection in Embedded Systems
    • 167
    • Open Access
    Simple Ownership Types for Object Containment
    • 137
    • Open Access
    Implementation of the typed call-by-value λ-calculus using a stack of regions
    • 324
    • Open Access