Map
Index
Random
Help
th

Quote: region-based, capability language tracks unique memory accesses; i.e., non-aliased accesses

topics > all references > references t-z > QuoteRef: walkD7_2000 , p. 715



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.


Related Topics up

Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: security by capabilities (65 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.