Foundational Certification Of Code Transformations Using Automatic Differentiation
Automatic Differentiation (AD) is concerned with the semantics augmentation of an input program representing a function to form a transformed program that computes the function's derivatives. To ensure the correctness of the AD transformed code, particularly for safety critical applications, w...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AGH University of Science and Technology Press
2014-01-01
|
| Series: | Computer Science |
| Online Access: | http://journals.agh.edu.pl/csci/article/download/756/881 |