Login / Signup

Paths vs. Trees in Set-Based Program Analysis.

Witold CharatonikAndreas PodelskiJean-Marc Talbot
Published in: POPL (2000)
Keyphrases
  • small number
  • decision trees
  • shortest path
  • search space
  • finite number