| 
|
Quote: implement field analysis with static, single-assignment (SSA) graph; analyze loads and stores without optimization or context-sensitive information
topics >
all references >
references g-h >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
static single assignment; SSA
Topic:
dependency analysis
Quotation Skeleton
[The Swift Java compiler performs field analysis with a static, single-assignment (SSA) graph.] Swift iterates through all nodes in the … and incrementally updates [field information] … For each load of a field, it analyzes … stored into the field and any other uses … Swift only uses local information in proving properties … it is analyzed. … [p. 336] [In practice,] the analysis time is approximately linear … [p. 340] The overall results show that field analysis … of these properties takes only about 10% of … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: field analysis in linear time by code size; 10% cost; 7% faster
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: static single assignment; SSA (19 items)
Topic: dependency analysis (31 items)