{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:33:24Z","timestamp":1725485604795},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650140"},{"type":"electronic","value":"9783540497271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_19","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T03:02:49Z","timestamp":1181185369000},"page":"311-326","source":"Crossref","is-referenced-by-count":5,"title":["Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis"],"prefix":"10.1007","author":[{"given":"M.","family":"Tadjouddine","sequence":"first","affiliation":[]},{"given":"F.","family":"Eyssette","sequence":"additional","affiliation":[]},{"given":"C.","family":"Faure","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"19_CR1","unstructured":"A. Aho, R. Sethi and J. Ullman. COMPILATEURS: Principes, techniques et outils. InterEditions, 1989."},{"key":"19_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/b102311","volume-title":"Loop transformations for restructuring compilers: the foundations","author":"U. Banerjee","year":"1993","unstructured":"U. Banerjee. Loop transformations for restructuring compilers: the foundations. Boston, Dordrecht, London: Kluwer, 1993."},{"key":"19_CR3","unstructured":"Christian H. Bischof, Ali Bouaricha, Peyvand M. Khademi, and Jorge J. Mor\u00e9. Computing gradients in large-scale optimization using Automatic Differentiation. Preprint MCS-P488-0195, Mathematics and Computer Science Division, Argonne National Laboratory, June 1995."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"C. H. Bischof, L. Roh, and A. J. Mauer-oats. ADIC: an extensible automatic difierentiation tool for ANSI-C. Software-Practice and Experience, vol. 27(12), 1427\u20131456, December 1997.","DOI":"10.1002\/(SICI)1097-024X(199712)27:12<1427::AID-SPE138>3.0.CO;2-Q"},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/71.485501","volume":"7","author":"A. J.C. Bik","year":"1996","unstructured":"Aart J.C. Bik and Harry A.G. Wijshoff. Automatic data structure selection and transformation for sparse matrix computations. IEEE Transactions on Parallel and Distributed Systems, 7(2):109\u2013126, 1996.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Vasanth Balasundaram and Ken Kennedy. A Tehnique for summarizing Data Access and Its Use in Parallelism Enhancing Transformations. Proceedings of the SIGPLAN conference on PLDI, Juin 1989.","DOI":"10.1145\/73141.74822"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Symposium on Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"B\u00e9atrice Creusillet and Fran\u00e7ois Irigoin. Exact vs. approximate array region analyses. In Languages and Compilers for Parallel Computing, August 1996.","DOI":"10.1007\/BFb0017247"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"David Callahan and Ken Kennedy. Analysis of Interprocedural side effects in a parallel programming environnement. Journal of Parallel and Distributed Computing, Juin 1988.","DOI":"10.1016\/0743-7315(88)90011-1"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Thomas H. Colleman, and Jorge J. Mor\u00e9. Estimation of sparse jacobian matrices and graph coloring problems. SIAM, Journal Numerical Analysis, Vol. 20, No. 1 February 1983.","DOI":"10.1137\/0720013"},{"key":"19_CR11","unstructured":"B\u00e9atrice Creusillet Analyses de r\u00e9gions de tableaux et applications. Th\u00e8se de l\u2019Ecole des Mines de Paris, 1996."},{"key":"19_CR12","unstructured":"C. Faure, Y. Papegay. Odyss\u00e9e Version 1.6. The language reference manual. Rapport Technique 211, INRIA, 1997."},{"key":"19_CR13","unstructured":"A. Griewank, and G. Corlis. Automatic Differentiation of algorithms: theory, implementation and application. SIAM, 1991."},{"key":"19_CR14","volume-title":"Tangent Linear and adjoint model compiler, users manul","author":"R. Giering","year":"1996","unstructured":"R. Giering. Tangent Linear and adjoint model compiler, users manul. unpublished information, Max-Planck Institut f\u00fcr Meteorologie Hambourg, Germany, 1996."},{"issue":"2","key":"19_CR15","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/229473.229474","volume":"22","author":"A. Griewank","year":"1996","unstructured":"A. Griewank, D. Juedes and J. Utke. ADOL-C, a package for the automatic differentiation of algorithms written in C\/C++. ACM Transactions on Mathematical Software, 22(2), pp: 131\u2013167, 1996.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"19_CR16","unstructured":"A. Griewank and S. Reese. On the Calculation of Jacobian Matrices by the Markowitz Rule for Vertex Elimination. Preprint MCS-P27-0491, Mathematics and Computer Science Division, Argonne National Laboratory, October 1991."},{"key":"19_CR17","volume-title":"Automatic Computation of Sparse Jacobians by Applying the Method of Newsam and Ramsdell","author":"U. Geitner","year":"1996","unstructured":"U. Geitner, J. Utke and A. Griewank. Automatic Computation of Sparse Jacobians by Applying the Method of Newsam and Ramsdell. to appear in: Computational Differentiation, Proceedings of the Second International Workshop, M. Berz et.al. eds, SIAM, Philadelphia, 1996."},{"key":"19_CR18","unstructured":"Laurent Hasco\u00ebt. Specifications of Partita Analyses. Version 1.4, INRIA, 1995."},{"key":"19_CR19","unstructured":"Paul Havlack and Ken Kennedy. An Implementation of Interprocedural Bounded regular Section analysis. CRPC-TR-90063-S, March 1991."},{"key":"19_CR20","volume-title":"On the Applicability of Program Comprehension Techniques to the Automatic Parallelization of sparse Matrix Computations","author":"C. W. Kessler","year":"1997","unstructured":"Cristoph W. Kessler On the Applicability of Program Comprehension Techniques to the Automatic Parallelization of sparse Matrix Computations. Fachbereich IV-Informatik, Universit\u00e4t Trier, D-54286 Trier, Germany, 1997."},{"key":"19_CR21","unstructured":"Wayne Kelly, William Pugh, Evan Rosser, and Tatiana Shpeisman. Transitive Closure of Infinite Graphs and its Applications. University of Maryland Institute for Advanced Computer Studies Dept. of Computer Science, Univ. of Maryland, April 1994."},{"key":"19_CR22","volume-title":"PhD thesis","author":"F. Masdupuy","year":"1993","unstructured":"Fran\u00e7ois Masdupuy. Array indices relational semantic analysis using rational cosets and trapezoids PhD thesis. Ecole polytechnique, France, 1993."},{"issue":"3","key":"19_CR23","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1137\/0604041","volume":"4","author":"G. N. Newsam","year":"1983","unstructured":"G. N. Newsam and J. D. Ramsdell. Estimation of Sparse Jacobian Matrices. SIAM J. Alg. Disc. Meth., vol.4(3), pp.404\u2013417., 1983.","journal-title":"SIAM J. Alg. Disc. Meth."},{"key":"19_CR24","volume-title":"Sparse Matrix Technology","author":"S. Pissanetsky","year":"1984","unstructured":"Sergio Pissanetsky. Sparse Matrix Technology. Academic Press, London 1984."},{"key":"19_CR25","unstructured":"William Pugh and David Wonnacott. An Exact Method for Analysis of Value-based Array Data Dependences. Proc. of the Sixth Annual Workshop on Programming Languages and Compilers for Parallel Computing, June 1992."},{"issue":"5","key":"19_CR26","first-page":"558","volume":"45A","author":"N. Rostaing","year":"1993","unstructured":"Nicole Rostaing, St\u00e9phane Dalmas, and Andr\u00e9 Galligo. Automatic differentiation in odyss\u00e9 e. Tellus, 45A(5):558\u2013568, 1993.","journal-title":"Automatic differentiation in odyss\u00e9 e"},{"key":"19_CR27","unstructured":"Robert Sedgewick. Algorithms. Adison-Wesley Publishing Company, 1984."},{"key":"19_CR28","unstructured":"H. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. Addison-Wesley Publishing Company, 1991."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:46:16Z","timestamp":1556480776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}