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...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Artigo |
| Idioma: | en_US |
| Publicado em: |
Association for Computing Machinery (ACM)
2012
|
| Acesso em linha: | http://hdl.handle.net/1721.1/72443 https://orcid.org/0000-0001-8095-8523 |