Quote: PL.8 guarantees that all array and offset references are within bounds; optimizes run-time checks; checking costs 5-10%

Quotation Skeleton

One of the goals of the PL.8 compiler … the normal case. In particular, the PL.8 translator … area. To support this checking the final object … Because traps are modeled as result producing instructions, … [p. 45] The result of this effort is that …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: dynamic type checking (43 items)
Topic: type-safe and secure languages (42 items)
Topic: code optimization (54 items)