{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:43:23Z","timestamp":1725489803573},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678588"},{"type":"electronic","value":"9783540449058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44905-1_18","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T11:04:03Z","timestamp":1187262243000},"page":"286-302","source":"Crossref","is-referenced-by-count":4,"title":["A Precise Fixpoint Reaching Definition Analysis for Arrays"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Collard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Griebl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,12]]},"reference":[{"key":"18_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A. V. Aho","year":"1986","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading, Mass, 1986."},{"key":"18_CR2","unstructured":"D. Barthou. Array Dataflow Analysis in Presence of Non-affine Constraints. PhD thesis, Univ. Versailles, February 1998."},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1006\/jpdc.1996.1261","volume":"40","author":"D. Barthou","year":"1997","unstructured":"D. Barthou, J.-F. Collard, and P. Feautrier. Fuzzy array dataflow analysis. Journal of Parallel and Distributed Computing, 40:210\u2013226, 1997.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"A. Cohen and J.-F. Collard. Instance-wise reaching definition analysis for recursive programs using context-free transductions. In PACT\u201998, Paris, France, October 1998.","DOI":"10.1109\/PACT.1998.727269"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"J.-F. Collard and M. Griebl. Array dataflow analysis for explicitly parallel programs. Parallel Processing Letters, 1997.","DOI":"10.1142\/S0129626497000140"},{"key":"18_CR6","unstructured":"J.-F. Collard and J. Knoop. A comparative study of reaching definitions analyses. Technical Report 1998\/22, PRiSM, U. of Versailles, 1998."},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"4th Int. Symp. on Prog. Lang. Implem. and Logic Prog (PLILP\u201992)","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In M. Bruynooghe and M. Wirshing, editors, 4th Int. Symp. on Prog. Lang. Implem. and Logic Prog (PLILP\u201992), volume 631 of LNCS, pages 269\u2013295, Leuven, Belgium, August 1992."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"E. Duesterwald, R. Gupta, and M.-L. Soffa. A practical data flow framework for array reference analysis and its use in optimization. In ACM SIGPLAN\u201993 Conf. on Prog. Lang. Design and Implementation, pages 68\u201377, June 1993.","DOI":"10.1145\/155090.155097"},{"issue":"1","key":"18_CR9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"P. Feautrier. Dataflow analysis of scalar and array references. Int. Journal of Parallel Programming, 20(1):23\u201353, February 1991.","journal-title":"Int. Journal of Parallel Programming"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00290339","volume":"7","author":"J. B. Kam","year":"1977","unstructured":"J. B. Kam and J.D. Ullman. Monotone data flow analysis frameworks. Acta Informatica, 7:309\u2013317, 1977.","journal-title":"Acta Informatica"},{"key":"18_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-49639-4","volume-title":"Proc. of the 7th International Conference on Compiler Construction (CC\u201998)","author":"J. Knoop","year":"1998","unstructured":"J. Knoop, D. Kosch\u00fctzki, and B. Steffen. Basic-block graphs: Living dinosaurs ? In Proc. of the 7th International Conference on Compiler Construction (CC\u201998), LNCS, Lisbon, Portugal, 1998."},{"key":"18_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the 4th International Conference on Compiler Construction (CC\u201992)","author":"J. Knoop","year":"1992","unstructured":"J. Knoop and B. Steffen. The interprocedural coincidence theorem. In Proc. of the 4th International Conference on Compiler Construction (CC\u201992), number 641 in LNCS, Paderborn, Germany, 1992."},{"key":"18_CR13","unstructured":"S. S. Muchnick. Advanced Compiler Design & Implementation. Morgan Kaufmann, 1997."},{"key":"18_CR14","unstructured":"W. Pugh and D. Wonnacott. Going beyond integer programming with the omega test to eliminate false data dependences. Technical Report CS-TR-3191, U. of Maryland, December 1992."},{"key":"18_CR15","unstructured":"D. Wonnacott and W. Pugh. Nonlinear array dependence analysis. In Proc. Third Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers, 1995. Troy, New York."}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44905-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T22:47:56Z","timestamp":1550789276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44905-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678588","9783540449058"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44905-1_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}