C. Bischof, A. Carle, G. Corliss, A. Griewank, and P. Hovland, ADIFOR???Generating Derivative Codes from Fortran Programs, Scientific Programming, vol.1, issue.1, pp.11-29, 1992.
DOI : 10.1155/1992/717832

URL : http://doi.org/10.1155/1992/717832

M. Bücker, B. Lang, A. Rasch, C. H. Bischof, and D. Mey, Explicit loop scheduling in OpenMP for parallel automatic differentiation, Proceedings 16th Annual International Symposium on High Performance Computing Systems and Applications, pp.121-126, 2002.
DOI : 10.1109/HPCSA.2002.1019144

F. Christakopoulos, D. Jones, and J. Müller, Pseudo-timestepping and verification for automatic differentiation derived CFD codes, Computers & Fluids, vol.46, issue.1, pp.174-179, 2011.
DOI : 10.1016/j.compfluid.2011.01.039

B. Christianson, Reverse accumulation and attractive fixed points, Optimization Methods and Software, vol.88, issue.4, pp.311-326, 1994.
DOI : 10.1080/10556789208805503

M. Fagan and A. Carle, Activity analysis in ADIFOR: Algorithms and effectiveness, 2004.

R. Giering, Tangent linear and Adjoint Model Compiler, 1999.

R. Giering and T. Kaminski, Recipes for adjoint code construction, ACM Transactions on Mathematical Software, vol.24, issue.4, pp.437-474, 1998.
DOI : 10.1145/293686.293695

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Giering, T. Kaminski, R. Todling, R. Errico, R. Gelaro et al., Tangent Linear and Adjoint Versions of NASA/GMAO???s Fortran 90 Global Weather Forecast Model, Automatic Differentiation: Applications, Theory, and Implementations, pp.275-284, 2006.
DOI : 10.1007/3-540-28438-9_24

A. Griewank and A. Walther, Algorithm 799: revolve: an implementation of checkpointing for the reverse or adjoint mode of computational differentiation, ACM Transactions on Mathematical Software, vol.26, issue.1, pp.19-45, 2000.
DOI : 10.1145/347837.347846

L. Hascoët, S. Fidanova, and C. Held, Adjoining Independent Computations In Automatic Differentiation of Algorithms, from Simulation to Optimization, pp.299-304, 2002.

L. Hascoët and V. Pascual, The Tapenade automatic differentiation tool, ACM Transactions on Mathematical Software, vol.39, issue.3, 2012.
DOI : 10.1145/2450153.2450158

L. Hascoet and V. Pascual, The Tapenade automatic differentiation tool, ACM Transactions on Mathematical Software, vol.39, issue.3, 2013.
DOI : 10.1145/2450153.2450158

URL : https://hal.archives-ouvertes.fr/hal-00913983

G. Kahn, Natural semantics, 1987.
DOI : 10.1007/BFb0039592

URL : https://hal.archives-ouvertes.fr/inria-00075953

B. Kreaseck, L. Ramos, S. Easterday, M. Strout, and P. Hovland, Hybrid Static/Dynamic Activity Analysis, In Computational Science?ICCS, pp.582-590, 2006.
DOI : 10.1007/11758549_80

J. Müller and P. Cusdin, On the performance of discrete adjoint CFD codes using automatic differentiation, International Journal for Numerical Methods in Fluids, vol.1, issue.8-9, pp.8-9, 2005.
DOI : 10.1002/fld.885

U. Naumann, Optimal accumulation of Jacobian matrices by elimination methods on the dual computational graph, Mathematical Programming, vol.99, issue.3, pp.399-421, 2004.
DOI : 10.1007/s10107-003-0456-9

J. Shin and P. D. Hovland, Comparison of two activity analyses for automatic differentiation, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.1323-1329, 2007.
DOI : 10.1145/1244002.1244287

J. Shin, P. Malusare, and P. D. Hovland, Design and Implementation of a Context-Sensitive, Flow-Sensitive Activity Analysis Algorithm for Automatic Differentiation, 5th International Conference on Automatic Differentiation, pp.115-125, 2007.
DOI : 10.1007/978-3-540-68942-3_11

J. Utke, U. Naumann, M. Fagan, N. Tallent, M. Strout et al., OpenAD/F, ACM Transactions on Mathematical Software, vol.34, issue.4, 2008.
DOI : 10.1145/1377596.1377598

Q. Wang, P. Moin, and G. Iaccarino, Minimal Repetition Dynamic Checkpointing Algorithm for Unsteady Adjoint Calculation, SIAM Journal on Scientific Computing, vol.31, issue.4, pp.2549-2567, 2009.
DOI : 10.1137/080727890

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Xu, D. Radford, M. Meyer, and J. Müller, Stabilisation of discrete steady adjoint solvers, Journal of Computational Physics, vol.299, pp.175-195, 2015.
DOI : 10.1016/j.jcp.2015.06.036