| 
|
Quote: associate capability and type with each object; guarantees exclusive ownership for deallocation or reuse; extends linear type systems
topics >
all references >
references t-z >
Topic:
security by capabilities
Topic:
owned resources and data objects
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
Smith, Walker, and Morrisett [refs] have investigated the … object within the capability itself. When code possesses … may explicitly reuse the space for that object … extension to conventional linear type systems [refs] as it admits aliasing and yet allows safe deallocation of … [p. 741] … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: security by capabilities (65 items)
Topic: owned resources and data objects (12 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)