Extension of TAPENADE towards Fortran 95

Valérie Pascual Laurent Hascoët (INRIA, BP93, 06902 Sophia-Antipolis, France)

Proceedings of the AD2004 Conference, Chicago, Illinois, july 2005 (11 pages)

Abstract: We present extensions to the automatic differentiation tool TAPENADE to increase coverage of the Fortran 95 language. We show how the existing architecture of the tool, with a language independent kernel and separate front-ends and back-ends, made it easier to deal with new syntactic forms and new control structures. However, several new features of Fortran 95 required us to make important choices and improvements in TAPENADE. We present these features, sorted into four categories: about the top-level structure of nested modules, subprograms, and interfaces; about structured data types; about overloading capabilities; and about array features. For each category, we discuss the choices made, and we illustrate their impact on small Fortran 95 examples. Dealing with pointers and dynamic memory allocation is delayed until extension to C begins. We consider this extension to Fortran 95 as a first step towards object-oriented languages.

Keywords: TAPENADE, Fortran 95, tools, program transformation

Full text (pdf)


@inproceedings{Pascual2005EoT,
  author = {Pascual, V. and Hasco\"et, L.},
  title = {Extension of {TAPENADE} towards {F}ortran 95},
  booktitle = {Automatic Differentiation: {A}pplications, Theory, and Tools},
  series = "Lecture Notes in Computational Science and Engineering",
  note = "Selected papers from AD2004 Chicago, July 2005",
  publisher = "Springer",
  year = 2005
}