Login / Signup
Paths vs. Trees in Set-Based Program Analysis.
Witold Charatonik
Andreas Podelski
Jean-Marc Talbot
Published in:
POPL (2000)
Keyphrases
</>
small number
decision trees
shortest path
search space
finite number