Emmanuel M. Tadjouddine, Wenjin Lv. Foundational Certification of Code Transformations Using Automatic Differentiation. Computer Science (AGH), 15(2):215-236, 2014. [doi]
@article{TadjouddineL14,
title = {Foundational Certification of Code Transformations Using Automatic Differentiation},
author = {Emmanuel M. Tadjouddine and Wenjin Lv},
year = {2014},
doi = {10.7494/csci.2014.15.2.215},
url = {http://dx.doi.org/10.7494/csci.2014.15.2.215},
researchr = {https://researchr.org/publication/TadjouddineL14},
cites = {0},
citedby = {0},
journal = {Computer Science (AGH)},
volume = {15},
number = {2},
pages = {215-236},
}