TY - RPRT TI - A Semantics for Approximate Program Transformations AU - Edwin Westbrook AU - Swarat Chaudhuri PY - 2013 UR - https://arxiv.org/abs/1304.5531 ID - 1304.5531 ER -