| 
|
Quote: SafeTSA includes safe-ref that cannot be null, and safe-index-arr that cannot be out of range; via runtime checks
topics >
all references >
references a-b >
Topic:
safe use of pointers
Topic:
dynamic type checking
Topic:
range checking
Topic:
run-time assertions
Quotation Skeleton
For every reference type ref, our "machine model" … every array arr we provide a matching type … [Use explicit checks to create safe-ref and safe-index-arr values] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: dynamic type checking (43 items)
Topic: range checking (20 items)
Topic: run-time assertions (25 items)