2 search results - page 1 / 1 » Extended SSA numbering: introducing SSA properties to langua... |
CASCON
1996
13 years 6 months ago
1996
VMCAI
2010
Springer
14 years 2 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...