Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation

Traditional program transformations operate under the onerous constraint that they must preserve the exact behavior of the transformed program. But many programs are designed to produce approximate results. Lossy video encoders, for example, are designed to give up perfect fidelity in return for fas...

Full description

Bibliographic Details
Main Author: Rinard, Martin C.
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery (ACM) 2012
Online Access:http://hdl.handle.net/1721.1/72443
https://orcid.org/0000-0001-8095-8523