Sparse Analysis of Variable Path Predicates Based upon SSA-Form.

Thomas S. Heinze, Wolfram Amme

Browse the full ISoLA paper archive.