%0 Journal Article %1 journals/corr/abs-1304-5531 %A Westbrook, Edwin M. %A Chaudhuri, Swarat %D 2013 %J CoRR %K dblp %T A Semantics for Approximate Program Transformations %U http://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-5531 %V abs/1304.5531

@article{journals/corr/abs-1304-5531, added-at = {2018-08-13T00:00:00.000+0200}, author = {Westbrook, Edwin M. and Chaudhuri, Swarat}, biburl = {https://www.bibsonomy.org/bibtex/2e1a8b5d12a67ed90d107bfc0ec091f04/dblp}, ee = {http://arxiv.org/abs/1304.5531}, interhash = {915a15cc37d7f07d6afcf381c77fa53d}, intrahash = {e1a8b5d12a67ed90d107bfc0ec091f04}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:40:59.000+0200}, title = {A Semantics for Approximate Program Transformations}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-5531}, volume = {abs/1304.5531}, year = 2013 }