| 
|
Quote: Cedar's safe pointers ensure integrity of system data structures and code
topics >
all references >
references sa-sz >
Topic:
safe use of pointers
Topic:
using pointers in Thesa
Topic:
primitive data types for Thesa
Quotation Skeleton
It has been formally demonstrated that even erroneous … [of Cedar] maintain a set of invariants that ensure the integrity of … [Owicki, S. "Making the world safe for garbage collection," Principles of Programming Languages 8, Jan 81]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: using pointers in Thesa (49 items)
Topic: primitive data types for Thesa (82 items)