| 
|
Quote: SPIN capabilities are Modula pointers; pointers cannot be forged or dereferenced incorrectly; minimal overhead
topics >
all references >
references a-b >
Topic:
safe use of pointers
Topic:
security by capabilities
Quotation Skeleton
All kernel resources in SPIN are referenced by … SPIN implements capabilities directly using pointers … The [Modula-3] compiler, at compile-time, prevents a pointer … overhead for using a pointer, passing it across … pointer or its referent. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: security by capabilities (65 items)