Program analysis via satisfiability modulo path programs

William R. Harris
Sriram Sankaranarayanan
Aarti Gupta
POPL(2010), pp. 71-82

Abstract

Research Areas