View of Foundational Certification of Code Transformations Using Automatic Differentiation

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