Tadjouddine, Emmanuel M., Xi’an Jiaotong-Liverpool University, Department of Computer Science & Software Engineering, China
-
Computer Science Vol. 15 No. 2 - Articles
Foundational Certification of Code Transformations Using Automatic Differentiation
Abstract PDF