{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T17:26:07Z","timestamp":1760981167033,"version":"3.41.0"},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2005,12]]},"abstract":"<jats:p>\n            The availability of first derivatives of vector functions is crucial for the robustness and efficiency of a large number of numerical algorithms. An upcoming new version of the differentiation-enabled NAGWare Fortran 95 compiler is described that uses programming language extensions and a semantic code transformation known as\n            <jats:italic>automatic differentiation<\/jats:italic>\n            to provide Jacobians of numerical programs with machine accuracy. We describe a new user interface as well as the relevant algorithmic details. In particular, we focus on the source transformation approach that generates locally optimal gradient code for single assignments by vertex elimination in the linearized computational graph. Extensive tests show the superiority of this method over the current overloading-based approach. The robustness and convenience of the new compiler-feature is illustrated by various case studies.\n          <\/jats:p>","DOI":"10.1145\/1114268.1114270","type":"journal-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T16:09:20Z","timestamp":1147104560000},"page":"458-474","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["A differentiation-enabled Fortran 95 compiler"],"prefix":"10.1145","volume":"31","author":[{"given":"Uwe","family":"Naumann","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Riehme","sequence":"additional","affiliation":[{"name":"Humboldt Universit\u00e4t zu Berlin, Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,12]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Aho A. Sethi R. and Ullman J. 1986. Compilers. Principles Techniques and Tools. Addison-Wesley Reading MA.   Aho A. Sethi R. and Ullman J. 1986. Compilers. Principles Techniques and Tools. Addison-Wesley Reading MA."},{"key":"e_1_2_1_2_1","unstructured":"Averik B. Carter R. and Mor\u00e9 J. 1991. The MINPACK-2 test problem collection (preliminary version). Tech. mem. ANL\/MCS-TM-150. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL.  Averik B. Carter R. and Mor\u00e9 J. 1991. The MINPACK-2 test problem collection (preliminary version). Tech. mem. ANL\/MCS-TM-150. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL."},{"key":"e_1_2_1_3_1","unstructured":"Balay S. Buschelman K. Gropp W. Kaushik D. Knepley M. Curfman-McInnes L. Smith B. and Zhang H. 2003. PETSc 2.0 users manual. Tech. rep. ANL-95\/11---revision 2.1.6. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL. Go online to http:\/\/www.mcs.anl.gov\/petsc.  Balay S. Buschelman K. Gropp W. Kaushik D. Knepley M. Curfman-McInnes L. Smith B. and Zhang H. 2003. PETSc 2.0 users manual. Tech. rep. ANL-95\/11---revision 2.1.6. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL. Go online to http:\/\/www.mcs.anl.gov\/petsc."},{"key":"e_1_2_1_4_1","unstructured":"Benson S. McInnes L. and Mor\u00e9 J. 2000. TAO users manual. Tech. rep. ANL\/MCS-TM-242 Mathematics and Computer Science Division Argonne National Laboratory Argonne IL. Go online to www.mcs.anl.gov\/tao.  Benson S. McInnes L. and Mor\u00e9 J. 2000. TAO users manual. Tech. rep. ANL\/MCS-TM-242 Mathematics and Computer Science Division Argonne National Laboratory Argonne IL. Go online to www.mcs.anl.gov\/tao."},{"key":"e_1_2_1_5_1","unstructured":"Benson S. and Mor\u00e9 J. 2001. A limited memory variable metric algorithm for bound constrained minimization. Tech. rep. ANL\/MCS-P909-0901. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL.  Benson S. and Mor\u00e9 J. 2001. A limited memory variable metric algorithm for bound constrained minimization. Tech. rep. ANL\/MCS-P909-0901. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL."},{"volume-title":"Proceedings Series. SIAM Press","author":"Berz M.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.537089"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199712)27:12%3C1427::AID-SPE138%3E3.3.CO;2-H"},{"volume-title":"Proceedings of the 2003 ACM Symposium on Applied Computing. 143--147","author":"Cohen M.","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Corliss G. Faure C. Griewank A. Hascoet L. and Naumann U. Eds. 2002. Automatic Differentiation of Algorithms---From Simulation to Optimization. Springer New York NY.   Corliss G. Faure C. Griewank A. Hascoet L. and Naumann U. Eds. 2002. Automatic Differentiation of Algorithms---From Simulation to Optimization. Springer New York NY.","DOI":"10.1007\/978-1-4613-0075-5"},{"volume-title":"Proceedings Series. SIAM Press","author":"Corliss G.","key":"e_1_2_1_11_1"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1093\/imamat\/13.1.117","article-title":"On the estimation of sparse Jacobian matrices","volume":"13","author":"Curtis A.","year":"1974","journal-title":"J. Inst. Math. Appl."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024074.1024076"},{"key":"e_1_2_1_14_1","unstructured":"Garey M. and Johnson D. 1979. Computers and Intractability---A Guide to the Theory of NP-Completeness. W. H. Freeman and Company San Francisco CA.   Garey M. and Johnson D. 1979. Computers and Intractability---A Guide to the Theory of NP-Completeness. W. H. Freeman and Company San Francisco CA."},{"key":"e_1_2_1_15_1","unstructured":"Griewank A. 2000. Evaluating Derivatives. Principles and Techniques of Algorithmic Differentiation. Number 19 in Frontiers in Applied Mathematics. SIAM Press Philadelphia PA.   Griewank A. 2000. Evaluating Derivatives. Principles and Techniques of Algorithmic Differentiation. Number 19 in Frontiers in Applied Mathematics. SIAM Press Philadelphia PA."},{"key":"e_1_2_1_16_1","unstructured":"Griewank A. and Reese S. 1991. On the calculation of Jacobian matrices by the Markovitz rule. In Corliss and Griewank {1991} 126--135.  Griewank A. and Reese S. 1991. On the calculation of Jacobian matrices by the Markovitz rule. In Corliss and Griewank {1991} 126--135."},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Hasco\u00ebt L. Naumann U. and Pascual V. 2004. TBR analysis in reverse-mode automatic differentiation. In Future Generation Computer Systems---Special Issue on Automatic Differentiation M. B\u00fccker Ed. Elsevier Amsterdam The Netherlands.  Hasco\u00ebt L. Naumann U. and Pascual V. 2004. TBR analysis in reverse-mode automatic differentiation. In Future Generation Computer Systems---Special Issue on Automatic Differentiation M. B\u00fccker Ed. Elsevier Amsterdam The Netherlands.","DOI":"10.1016\/j.future.2004.11.009"},{"key":"e_1_2_1_18_1","unstructured":"Hopkins T. and Phillips C. 1988. Numerical Methods in Practice Using the NAG Library. International Computer Science Series. Addison-Wesley Reading MA.  Hopkins T. and Phillips C. 1988. Numerical Methods in Practice Using the NAG Library. International Computer Science Series. Addison-Wesley Reading MA."},{"volume-title":"Proceedings of the International Conference on Computational Science","year":"2002","author":"Hovland P.","key":"e_1_2_1_19_1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Mor\u00e9 J. 2001. Automatic differentiation tools in optimization software. In Corliss et al. {2002} 25--34.  Mor\u00e9 J. 2001. Automatic differentiation tools in optimization software. In Corliss et al. {2002} 25--34.","DOI":"10.1007\/978-1-4613-0075-5_2"},{"key":"e_1_2_1_21_1","unstructured":"Naumann U. 2002. On optimal Jacobian accumulation for single-expression-use programs. Preprint ANL-MCS\/P944-0402. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL.  Naumann U. 2002. On optimal Jacobian accumulation for single-expression-use programs. Preprint ANL-MCS\/P944-0402. Mathematics and Computer Science Division Argonne National Laboratory Argonne IL."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0456-9"},{"volume":"50","volume-title":"Eds. Lecture Notes in Computational Science and Engineering","author":"Naumann U.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1137\/0604041","article-title":"Estimation of sparse Jacobian matrices","volume":"4","author":"Newsam G.","year":"1983","journal-title":"SIAM J. Alg. Dis. Meth."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.1997.5705"},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Tadjouddine M. Forth S. and Pryce J. 2001. AD tools and prospects for optimal AD in CFD flux calculations. In Corliss et al. {2002} 255--261.  Tadjouddine M. Forth S. and Pryce J. 2001. AD tools and prospects for optimal AD in CFD flux calculations. In Corliss et al. {2002} 255--261.","DOI":"10.1007\/978-1-4613-0075-5_30"},{"volume-title":"Proceedings of the International Conference on Computational Science","year":"2002","author":"Tadjouddine M.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","unstructured":"The Numerical Algorithms Group 2000. NAG Fortran 90 library. Online documentation Oxford U.K. at http:\/\/www.nag.co.uk\/numeric\/FN\/manual\/html\/FNlibrarymanual.asp.  The Numerical Algorithms Group 2000. NAG Fortran 90 library. Online documentation Oxford U.K. at http:\/\/www.nag.co.uk\/numeric\/FN\/manual\/html\/FNlibrarymanual.asp."},{"key":"e_1_2_1_29_1","unstructured":"The Numerical Algorithms Group 2002. The NAG Fortran library manual mark 20. Online documentation at http:\/\/www.nag.co.uk\/numeric\/fl\/manual\/html\/FLlibrarymanual.asp.  The Numerical Algorithms Group 2002. The NAG Fortran library manual mark 20. Online documentation at http:\/\/www.nag.co.uk\/numeric\/fl\/manual\/html\/FLlibrarymanual.asp."},{"volume-title":"Automatic Differentiation: Applications, Theory, and Tools","author":"Utke J.","key":"e_1_2_1_30_1"},{"volume-title":"San Francisco","year":"2004","author":"Utke J.","key":"e_1_2_1_31_1"},{"key":"e_1_2_1_32_1","unstructured":"Utke J. and Naumann U. 2004b. Separating language-dependent und independent tasks for the semantic transformation of numerical programs. In Software Engineering and Applications M. Hamza Ed. ACTA Press Calgary Alta. Canada (To appear).  Utke J. and Naumann U. 2004b. Separating language-dependent und independent tasks for the semantic transformation of numerical programs. In Software Engineering and Applications M. Hamza Ed. ACTA Press Calgary Alta. Canada (To appear)."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/355586.364791"}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1114268.1114270","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1114268.1114270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:38Z","timestamp":1750262918000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1114268.1114270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["10.1145\/1114268.1114270"],"URL":"https:\/\/doi.org\/10.1145\/1114268.1114270","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"type":"print","value":"0098-3500"},{"type":"electronic","value":"1557-7295"}],"subject":[],"published":{"date-parts":[[2005,12]]},"assertion":[{"value":"2005-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}