Quote: safe pointer representation with base address, size, storage class, and liveness property; check all accesses with unnecessary checks avoided via runtime tests

Quotation Skeleton

To enforce access protection, we must extend the … tagged pointers used in many Lisp implementations [ref.]. [The safe pointer representation defines the value, base address and size, storage class, and capability to prove liveness. ... [p. 292] Assuming the safe pointer object attributes are correct … , complete safety for all pointer and array … [They use runtime checks to remove unnecessary dereference checks.]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: dynamic type checking (43 items)
Topic: safe use of pointers (102 items)