Skip to Main content Skip to Navigation
Reports

TAPENADE 2.1 user's guide

Laurent Hascoët 1 Valérie Pascual 1
1 TROPICS - Program transformations for scientific computing
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This is the user's manual for the version 2.1 of the Automatic Differentiation tool TAPENADE. Given a source computer program that computes a differentiable mathematical function $F$, TAPENADE builds a new source program that computes some of the derivatives of $F$, specifically directional derivatives ("tangent mode") and gradients ("reverse mode"). This report summarizes the mathematical justifications of Automatic Differentiation, then describes in full detail the differentiation model that TAPENADE implements. Our goal is to give the users of TAPENADE a precise understanding of the actions and choices made while differentiating programs, so as to improve their confidence in the produced source programs. This report documents all the available options and parameterizations that the users can give to TAPENADE, and conversely all the diagnosis and requirements that TAPENADE may issue towards the users. After a brief description of TAPENADE's architecture and performances, this report describes more fully the validation and improvement techniques for differentiated codes.
Document type :
Reports
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00069880
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:25:14 PM
Last modification on : Tuesday, January 30, 2018 - 4:56:01 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:31:44 PM

Identifiers

  • HAL Id : inria-00069880, version 1

Collections

Citation

Laurent Hascoët, Valérie Pascual. TAPENADE 2.1 user's guide. [Technical Report] RT-0300, INRIA. 2004, pp.78. ⟨inria-00069880⟩

Share

Metrics

Record views

528

Files downloads

1277