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
}