Map
Index
Random
Help
th

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 > QuoteRef: ammeW6_2001 , p. 139



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.


Related Topics up

Topic: safe use of pointers (102 items)
Topic: dynamic type checking (43 items)
Topic: range checking (20 items)
Topic: run-time assertions (25 items)

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