| 
|
Quote: track non-aliasing of memory regions via tagged capabilities and type system
topics >
all references >
references t-z >
Group:
memory management
Topic:
safe use of pointers
Topic:
memory management by regions or memory pool
Topic:
security by capabilities
Topic:
owned resources and data objects
Quotation Skeleton
Our approach, instead of trying to prevent aliasing, … uniqueness. We do this by tagging [memory] regions in capabilities with one of two multiplicities [unique and non-unique]. Google-1 Google-2
Copyright clearance needed for quotation.
Group: memory management (11 topics, 346 quotes)
Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: security by capabilities (65 items)
Topic: owned resources and data objects (12 items)