Proving acceptability properties of relaxed nondeterministic approximate programs.

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard

Browse the full PLDI paper archive.