Paths vs. Trees in Set-Based Program Analysis.

Witold Charatonik, Andreas Podelski, Jean-Marc Talbot

Browse the full POPL paper archive.