Data Representation Alternatives in Semantically Augmented Numerical Models

Michael Fagan (Rice University, Houston, TX 77005, USA) Laurent Hascoët (INRIA, 06902 Sophia-Antipolis, France) Jean Utke (Argonne National Laboratory, Argonne, IL 60439, USA)

Proceedings of the 6th IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2006, Philadelphia, PA, USA (10 pages)

Abstract: Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Automatic differentiation makes extensive use of this concept. We describe the two principal approaches to implement the variable augmentation, complete encapsulation and complete separation. The paper concentrates on two major aspects. First, we characterize the advantages of each approach and illustrate the effort needed to realize these advantages in Fortran, C, and C++ as the languages we are most interested in. Second, we discuss the practical solutions that in effect represent hybrids of the two approaches.

Keywords: Program Transformation, Program Augmentation, Automatic Differentiation

Full text (pdf)


@inproceedings{FaganHascoetUtke06,
  author = {Fagan, M. and Hasco\"et, L. and Utke, J.},
  title = {Data Representation Alternatives in
           Semantically Augmented Numerical Models},
  booktitle = {6th IEEE International Workshop on
          Source Code Analysis and
          Manipulation, SCAM 2006, Philadelphia, PA, USA},
  year = 2006
}