A (de)constructive approach to program checking.

Shafi Goldwasser Dan Gutfreund Alexander Healy Tali Kaufman Guy N. Rothblum

Published in: STOC (2008)

Keyphrases

static analysis
computer programs
artificial intelligence
image segmentation
bayesian networks
open source
integrity constraints
programming environment
program execution