Proving acceptability properties of relaxed nondeterministic approximate programs.

Michael Carbin Deokhwan Kim Sasa Misailovic Martin C. Rinard

Published in: PLDI (2012)

Keyphrases

real world
optimal solution
imperative programs
real time
high level
probability distribution
information retrieval
learning algorithm
information technology
fixpoint
automatic programming