A (de)constructive approach to program checking.

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

Browse the full STOC paper archive.