| 
|
Quote: region-based, capability language tracks unique memory accesses; i.e., non-aliased accesses
topics >
all references >
references t-z >
Topic:
safe use of pointers
Topic:
memory management by regions or memory pool
Topic:
security by capabilities
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.
Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: security by capabilities (65 items)