2 search results - page 1 / 1 » Extended SSA numbering: introducing SSA properties to langua... |
CASCON
1996
14 years 12 months ago
1996
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...