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