{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T14:11:07Z","timestamp":1698329467091},"reference-count":27,"publisher":"Wiley","issue":"7","license":[{"start":{"date-parts":[[2006,10,25]],"date-time":"2006-10-25T00:00:00Z","timestamp":1161734400000},"content-version":"vor","delay-in-days":4772,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Concurrency: Pract. Exper."],"published-print":{"date-parts":[[1993,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Many papers have been written dealing with the science of data dependence tests, particularly for dependence of arrays in loops; the techniques typically reduce the dependence problem to an algebraic problem, then solve the algebraic problem by an algorithm which has some desired blend of efficiency, generality or precision. While a sound theoretical basis is necessary for dependence\u2010based tools, these papers often leave out many implementation details. This paper addresses the engineering aspects of data dependence testing, particularly focusing on details that are necessary in any competent implementation of a data dependence test.<\/jats:p>","DOI":"10.1002\/cpe.4330050706","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T06:44:34Z","timestamp":1163832274000},"page":"603-622","source":"Crossref","is-referenced-by-count":2,"title":["Engineering a data dependence test"],"prefix":"10.1002","volume":"5","author":[{"given":"Michael","family":"Wolfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,25]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"William L.Cohagan.Vector optimization for the ASC. In Proc. Seventh Annual Princeton Conf. on Information Sciences and Systems pp.169\u2013174 March1973."},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/390015.808411"},{"key":"e_1_2_1_4_2","first-page":"229","volume-title":"Supercomputing: 1st International Conference","author":"Gannon Dennis","year":"1987"},{"key":"e_1_2_1_4_3","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(88)90014-7"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"FrancoisIrigoinandR\u00e9miTriolet \u2018Supernode partitioning\u2019 in Conf. Record 15th Annual ACM Symposium on Principles of Programming Languages San Diego CA January1988 pp.319\u2013329.","DOI":"10.1145\/73560.73588"},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"StevenAndersonandPaulHudak \u2018Compilation of Haskell array comprehensions for scientific computing\u2019 in Proc. ACM SIGPLAN '90 Conference on Programming Language Design and Implementation White Plains NY June1990 pp.137\u2013149.","DOI":"10.1145\/93542.93561"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"VivekSarkarandDavidCann \u2018POSC\u2014a partitioning and optimizing Sisal compiler\u2019 in Proc. 1990 International Conference on Supercomputing Amsterdam June1990 pp.148\u2013163.","DOI":"10.1145\/77726.255152"},{"key":"e_1_2_1_8_2","unstructured":"UtpalBanerjee \u2018Data dependence in ordinary programs\u2019 M.S. thesis UIUCDCS\u2010R\u201076\u2010837 University of Illinois Department of Computer Science November1976."},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675434"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/29873.29875"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379099"},{"key":"e_1_2_1_12_2","unstructured":"MichaelWolfe \u2018Optimizing supercompilers for supercomputers\u2019 PhD Dissertation UIUCDCS\u2010R\u201082\u20101105 University of Illinois Department of Computer Science October1982(available from University Microfilms Inc. document 83\u201003027)."},{"key":"e_1_2_1_13_2","volume-title":"Optimizing Supercompilers for Supercomputers","author":"Wolfe Michael","year":"1989"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6894-6"},{"key":"e_1_2_1_15_2","volume-title":"Triangular Banerjee inequality","author":"Kennedy Ken","year":"1986"},{"key":"e_1_2_1_16_2","unstructured":"DavidKuck Robert H.Kuhn Bruce Leasure and Michael Wolfe \u2018The structure of an advanced vectorizer for pipelined processors\u2019 in Proc. 4th International Computer Software and Applications Conference Chicago October1980 pp.709\u2013715."},{"key":"e_1_2_1_17_2","unstructured":"David J.Kuck Ahmed H.Sameh RonCytron Alexander V.Veidenbaum Constantine D.Polychronopoulos GyunghoLee TimMcDaniel Bruce R.Leasure CarolBeckman James R. B.DaviesandClyde P.Kruskal \u2018The effects of program restructuring algorithm change and architecture choice on program performance\u2019 in Robert M. Keller (Ed.) Proc. 1984 International Conference on Parallel Processing St. Charles IL August1984 pp.129\u2013138."},{"key":"e_1_2_1_18_2","unstructured":"Constantine D.Polychronopoulos MilindGirkar Mohammed ResaHaghighat Chia LingLee BruceLeungandDaleSchouten \u2018Parafrase\u20102: An environment for parallelizing partitioning synchronizing and scheduling programs on multiprocessors\u2019 in Emily C. Plachy and Peter M. Kogge (Eds.) Proc. 1989 International Conference on Parallel Processing Volume II St. Charles IL August1989 pp.39\u201348."},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/71.159042"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407876"},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","unstructured":"MichaelBurkeandRonCytron. Interprocedural dependence analysis and parallelization. InProc. SIGPLAN '86 Symp. on Compiler Construction pp.162\u2013175 Palo Alto CA June1986.","DOI":"10.1145\/12276.13328"},{"key":"e_1_2_1_22_2","doi-asserted-by":"crossref","unstructured":"Dror E.Maydan John L.HennessyandMonica S.Lam \u2018Efficient and exact data dependence analysis\u2019 in Proc. ACM SIGPLAN '91 Conference on Programming Language Design and Implementation Toronto June1991 pp.1\u201314.","DOI":"10.1145\/113445.113447"},{"key":"e_1_2_1_23_2","doi-asserted-by":"crossref","unstructured":"GinaGoff KenKennedyandChau\u2010WenTseng \u2018Practical dependence testing\u2019 in Proc. ACM SIGPLAN '91 Conference on Programming Language Design and Implementation Toronto June1991 pp.15\u201329.","DOI":"10.1145\/113445.113448"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/71.80122"},{"key":"e_1_2_1_25_2","first-page":"102","volume-title":"Program Flow Analysis: Theory and Applications","author":"Jones Neil D.","year":"1981"},{"key":"e_1_2_1_26_2","volume-title":"Supercompilers for Parallel and Vector Computers","author":"Zima Hans","year":"1991"},{"key":"e_1_2_1_27_2","doi-asserted-by":"crossref","unstructured":"WilliamPugh \u2018The Omega test: a fast and practical integer programming algorithm for dependence analysis\u2019 in Proc. of Supercomputing '91 Albuquerque NM November1991 pp.4\u201313.","DOI":"10.1145\/125826.125848"}],"container-title":["Concurrency: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fcpe.4330050706","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/cpe.4330050706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T16:03:57Z","timestamp":1698249837000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/cpe.4330050706"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":27,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["10.1002\/cpe.4330050706"],"URL":"https:\/\/doi.org\/10.1002\/cpe.4330050706","archive":["Portico"],"relation":{},"ISSN":["1040-3108","1096-9128"],"issn-type":[{"value":"1040-3108","type":"print"},{"value":"1096-9128","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}