Sciweavers

2 search results - page 1 / 1
» Extended SSA numbering: introducing SSA properties to langua...
Sort
View
53
Voted
CASCON
1996
92views Education» more  CASCON 1996»
14 years 11 months ago
Extended SSA numbering: introducing SSA properties to languages with multi-level pointers
Christopher Lapkowski, Laurie J. Hendren
VMCAI
2010
Springer
15 years 7 months ago
Shape Analysis with Reference Set Relations
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...
Mark Marron, Rupak Majumdar, Darko Stefanovic, Dee...