An XML-based platform for semantic transformation of numerical programs

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002

Volumn , Issue , 2012, Pages 530-538

  Hovland, Paul D ^a   Naumann, Uwe ^a   Norris, Boyana ^a  

^a ARGONNE NATIONAL LABORATORY   (United States)

Author keywords

Automatic differentiation; Intermediate representation; Source transformation

Indexed keywords

FORTRAN (PROGRAMMING LANGUAGE); SEMANTICS; SOFTWARE ENGINEERING; XML;

AUTOMATIC DIFFERENTIATIONS; COMPONENT ARCHITECTURES; IMPERATIVE LANGUAGES; INTERMEDIATE REPRESENTATIONS; PROCEDURAL LANGUAGES; SEMANTIC TRANSFORMATION; SOURCE TRANSFORMATION; TRANSFORMATION MODULES;

C (PROGRAMMING LANGUAGE);

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

References (23)

1. R. Allen and K. Kennedy. Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers, 2002.
2. J. Knoop. Optimal Interprocedural Program Optimization. LNCS. Springer, 1998.
3. J. Siek, L. Lee, and A. Lumsdaine. The Boost Graph Library. Addison Wesley, 2002.
4. R. Wengert. A simple automatic derivative evaluation program. Communications of the ACM, 7:463-464, 1964.
5. G. Corliss, C. Faure, A. Griewank, L. Hascoët, and U. Naumann, editors. Automatic Differentiation of Algorithms-From Simulation to Optimization, Lecture Notes in Computer Science. Springer, 2002.
6. G. Corliss and A. Griewank, editors. Automatic Differentiation: Theory, Implementation, and Application, Proceedings Series. SIAM, 1991.
7. Andreas Griewank. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia, 2000.
8. A. Aho, R. Sethi, and J. Ullman. Compilers. Principles, Techniques, and Tools. Addison-Wesley, 1986.
9. Uwe Naumann. On optimal Jacobian accumulation by elimination methods on the dual computational graph. Technical Report Preprint ANL/MCS-P943-0402, Mathematics and Computer Science Division, Argonne National Laboratory, 2002. To appear in Mathematical Programming.
10. A. Griewank, J. Utke, and A. Walter. Evaluating higher derivative tensors by forward propagation of univariate Taylor series. Computational Mathematics, 69:1117-1130, 2000.
11. Paul Hovland and Christian Bischof. Automatic differentiation of message-passing parallel programs. In Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing, pages 98-104, Los Alamitos, CA, 1998. IEEE Computer Society Press.
12. Christian Bischof, Alan Carle, Peyvand Khademi, and Andrew Mauer. ADIFOR 2.0: Automatic differentiation of Fortran 77 programs. IEEE Computational Science & Engineering, 3(3):18-32, 1996.
13. Christian Bischof, Lucas Roh, and Andrew Mauer. ADIC - An extensible automatic differentiation tool for ANSI-C. Software-Practice and Experience, 27(12):1427-1456, 1997.
14. AIF Developer's Page. www-unix.mcs.anl.gov/-autodiff/AIF.
15. Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, and Eve Maler, (ed.). Extensible markup language (XML) 1.0 (second edition). W3C, 10 2000. www.w3.org/TR/2000/REC-xml-20001006.
16. Henry S. Thompson, David Beech, Murray Maloney, and Noah Mendelsohn, (eds.). Xml schema part 1: Structures. W3C, 5 2001. www.w3.org/TR/2001/REC- xmlschema-1-20010502/.
17. E. Adams and U. Kulisch, editors. Scientific Computing with Automatic Result Verification. Academic Press, 1993.
18. P. Barton, E. Gatzke, and J. Tolsma. Construction of convex function relaxations using automated code generation techniques. submitted to open literature, 2001.
19. J. Punin and M. Krishnamoorthy. Extensible Markup and Modeling Language (XGMML) draft specification in the XML.org XML Standards Report. http://www.zapthink.com/report.html, 2001.
20. A. Griewank and S. Reese. On the calculation of Jacobian matrices by the Markovitz rule. In [6], pages 126-135. SIAM, 1991.
21. C. Bischof and M. Haghighat. Hierarchical approaches to Automatic Differentiation. In [23], pages 82-94. SIAM, 1996.
22. Uwe Naumann. On optimal Jacobian accumulation for computations with single use of intermediate variables. Technical Report Preprint ANL/MCS-P944-0402, Mathematics and Computer Science Division, Argonne National Laboratory, 2002.
23. M. Berz, C. Bischof, G. Corliss, and A. Griewank, editors. Computational Differentiation: Techniques, Applications, and Tools, Proceedings Series. SIAM, 1996.