Program analysis via satisfiability modulo path programs.

William R. Harris Sriram Sankaranarayanan Franjo Ivancic Aarti Gupta

Published in: POPL (2010)

Keyphrases

satisfiability problem
computational complexity
shortest path
np complete
quantified boolean formulas
propositional logic
expressive power
automatic programming
database systems
object oriented
phase transition