Map
Index
Random
Help
th

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

topics > all references > references a-b > QuoteRef: ammeW6_2001 , p. 137



Topic:
static single assignment; SSA

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 up

Topic: static single assignment; SSA (19 items)

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