Login / Signup
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