Return to Article Details Foundational Certification of Code Transformations Using Automatic Differentiation Download Download PDF