| 
|
Quote: a safe module includes no unsafe interfaces or operations such as unchecked type transfer, address arithmetic, dispose object, and untraced allocations
topics >
all references >
references c-d >
Topic:
error safe systems
Topic:
type-safe and secure languages
Quotation Skeleton
It is a static error for a safe … unsafe interface. … [p. 59 (2.7)] Unsafe operations … [p. 60] An unchecked type transfer operation has the … The following operations are primarily used for address … In unsafe modules the INC and DEC statements … A DISPOSE statement has the form: 'DISPOSE(v)' … If v is untraced, the statement frees the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: error safe systems (75 items)
Topic: type-safe and secure languages (42 items)