Quote: SafeTSA guarantees referential integrity by construction; reference in terms of a basic block in the dominator tree

Quotation Skeleton

Unlike straight-forward SSA representations, however, SafeTSA provides intrinsic … [p. 138] The solution [for referential integrity] is based on the … on the path leading from the entry point … represented by a pair (l-r), in which l … basic block in the dominator tree hierarchy, and … [This representation] provides referential integrity intrinsically [with a range check].   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: static single assignment; SSA (19 items)