Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision.

Viktor Pavlu, Markus Schordan, Andreas Krall

Browse the full SCAM paper archive.