Separating language dependent and independent tasks for the semantic transformation of numerical programs

Proceedings of the Eigtht IASTED International Conference on Software Engineering and Applications

Volumn , Issue , 2004, Pages 552-558

  Utke, Jean ^a   Naumann, Uwe ^a  

^a ARGONNE NATIONAL LABORATORY   (United States)

Author keywords

Automatic differentiation; Language independence; Source to source transformation

Indexed keywords

AUTOMATIC DIFFERENTIATION; FORTRAN STANDARDS; LANGUAGE INDEPENDENCE; SOURCE-TO-SOURCE TRANSFORMATION;

COMPUTATIONAL COMPLEXITY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER OPERATING SYSTEMS; DIFFERENTIATION (CALCULUS); OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 11144238270     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. P. Hovland, U. Naumann, and B. Norris. An XML-based platform for semantic transformation of numerical programs. In M. Hamza, editor, Software Engineering and Applications, pages 530-538, Anaheim, Calgary, Zurich, 2002. ACTA Press.
2. J. Utke and U. Naumann. Software technological issues in automatizing the semantic transformation of numerical programs. In M. Hamza, editor, Software Engineering and Applications, pages 417-422. ACTA Press, 2003.
3. A. Griewank. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Number 19 in Frontiers in Appl. Math. SIAM, Philadelphia, 2000.
4. A. Griewank and G. Corliss, editors. Automatic Differentiation of Algorithms: Theory, Implementation, and Application. SIAM, Philadelphia, 1991.
5. M. Berz, C. Bischof, G. Corliss, and A. Griewank, editors. Computational Differentiation: Techniques, Applications, and Tools. SIAM, Philadelphia, 1996.
6. G. Corliss, C. Faure, A. Griewank, L. Hascoët, and U. Naumann, editors. Automatic Differentiation of Algorithms: From Simulation to Optimization. Computer and Information Science. Springer, New York, 2001.
7. U. Naumann, J. Utke, A. Lyons, and M. Fagan. Control flow reversal for adjoint code generation. Preprint ANL/MCS-P1145-0404, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2004. To appear in proceedings of SCAM04.
8. Andreas Griewank. Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation. Optimization Methods and Software, 1(1):35-54, 1992. Also appeared as Preprint MCS-P228-0491, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, Ill., April 1991.
9. A. R. Curtis, Michael J. D. Powell, and John K. Reid. On the estimation of sparse Jacobian matrices. J. Inst. Math. Appl, 13:117-119, 1974.
10. Carry N. Newsam and John D. Ramsdell. Estimation of sparse Jacobian matrices. SIAM J. Alg. Disc. Meth., 4(3):404-417, 1983.
11. L. Hascoët, U. Naumann, and V. Pascual. TBR analysis in reverse-mode Automatic Differentiation. Future Generation Computer Systems. To appear.
12. U. Naumann. Reducing the memory requirement in reverse mode automatic differentiation by solving TBR flow equations. In P. M. A. Sloot, C. J. K. Tan, J. J. Dongarra, and A. G. Hoekstra, editors, Computational Science - ICCS 2002, Proceedings of the International Conference on Computational Science, Amsterdam, The Netherlands, April 21-24, 2002. Part II, volume 2330 of Lecture Notes in Computer Science, pages 1039-1048, Berlin, 2002. Springer.
13. U. Lehmann and A. Walther. The implementation and testing of time-minimal and resource-optimal parallel reversal schedules. In P. M. A. Sloot, C. J. K. Tan, J. J. Dongarra, and A. G. Hoekstra, editors, Computational Science - ICCS 2002, Proceedings of the International Conference on Computational Science, Amsterdam, The Netherlands, April 21-24, 2002. Part II, volume 2330 of Lecture Notes in Computer Science, pages 1049-1058, Berlin, 2002. Springer.