Review of: M. Carbin, D. Kim, S. Misailovic, and M. C. Rinard, “Proving acceptability properties of relaxed nondeterministic approximate programs,” in Proc. of the 33rd ACM SIGPLAN conference PLDI, 2012, pp. 169–180. 1 Identification of the Problem To achieve performance…
