{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:03Z","timestamp":1742598603496,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_63","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:04:56Z","timestamp":1330272296000},"page":"725-736","source":"Crossref","is-referenced-by-count":0,"title":["User interaction and symbolic extensions to dependence analysis"],"prefix":"10.1007","author":[{"given":"S. P.","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. S.","family":"Ierotheou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Cross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. F.","family":"Leggett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"63_CR1","unstructured":"J R Allen, Dependence Analysis for Subscripted Variables and Its Application to Program Transformations, PhD Thesis, Rice University (1983)."},{"key":"63_CR2","doi-asserted-by":"crossref","unstructured":"J R Allen et al, Conversion of control dependence to data dependence, in Conference Proceedings of 10th Annual ACM Symposium on Principles of Programming Languages, ACM Press, pp 177\u2013189 (1983).","DOI":"10.1145\/567067.567085"},{"key":"63_CR3","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","volume":"9","author":"J. R. Allen","year":"1987","unstructured":"J R Allen and K Kennedy, Automatic translation of FORTRAN programs to vector form, ACM Trans on Programming Languages and Systems, 9, pp 491\u2013542 (1987).","journal-title":"ACM Trans on Programming Languages and Systems"},{"key":"63_CR4","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1109\/TC.1979.1675434","volume":"C-28","author":"U Banerjee","year":"1979","unstructured":"U Banerjee et al, Time and parallel processor bounds for FORTRAN-like loops, IEEE Trans on Computers, C-28, pp 660\u2013670 (1979).","journal-title":"IEEE Trans on Computers"},{"key":"63_CR5","unstructured":"U Banerjee, Speedup of Ordinary Programs, PhD Thesis, University of Urbana-Champaign (1979)."},{"key":"63_CR6","doi-asserted-by":"crossref","unstructured":"U Banerjee, Dependence Analysis for Supercomputing, Kluwer Ac Pub (1988).","DOI":"10.1007\/978-1-4684-6894-6"},{"key":"63_CR7","doi-asserted-by":"crossref","unstructured":"U Banerjee, Loop Transformations for Restructuring Compilers; The Foundations, Kluwer Ac Pub (1993).","DOI":"10.1007\/b102311"},{"key":"63_CR8","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/13310.13328","volume":"21","author":"M Burke","year":"1986","unstructured":"M Burke and R Cytron, Interprocedural dependence analysis and parallelisation, SIGPLAN Notices, 21, pp 162\u2013175 (1986).","journal-title":"SIGPLAN Notices"},{"key":"63_CR9","unstructured":"W L Cohagan, Vector optimisation for the ASC, In Proc of 7th Annual Princeton Conf on Information Sciences and Systems, Princeton Univ Press, pp 169\u2013173 (1973)."},{"key":"63_CR10","unstructured":"D J Kuck, The Structure of Computers and Computation, Vol 1, Wiley (1978)."},{"key":"63_CR11","doi-asserted-by":"crossref","unstructured":"D J Kuck et al, Compiler transformations of dependence graphs, Proc of 8th ACM Symposium on Principals of Programming Languages, ACM Press, pp 207\u2013218 (1981).","DOI":"10.1145\/567532.567555"},{"key":"63_CR12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L Lampart","year":"1974","unstructured":"L Lampart, The parallel execution of DO loops, Comms of ACM, 17, pp 83\u201393 (1974).","journal-title":"Comms of ACM"},{"key":"63_CR13","volume-title":"PhD Thesis","author":"M. J. Wolfe","year":"1982","unstructured":"M J Wolfe, Optimizing Supercompilers for Supercomputers, PhD Thesis, Univ of Illinois at Urban-Champaign (1982)."},{"key":"63_CR14","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF01379099","volume":"16","author":"M. J. Wolfe","year":"1987","unstructured":"M J Wolfe and U Banerjee, Data dependence and its application to parallel processing, Int Jnl of Parallel Prog, 16, pp 137\u2013178 (1987).","journal-title":"Int Jnl of Parallel Prog"},{"key":"63_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-8191(88)90002-6","volume":"6","author":"H. P. Zima","year":"1988","unstructured":"H P Zima et al, SUPERB \u2014 A tool for semi-automatic MIMD\/SIMD parallelisation, Parallel Computing, 6, 1\u201318 (1988).","journal-title":"Parallel Computing"},{"key":"63_CR16","unstructured":"H P Zima and B Chapman, Supercompilers for Parallel and Vector Computers, Addison Wesley (1990)."},{"key":"63_CR17","volume-title":"PhD Thesis","author":"S. P. Johnson","year":"1992","unstructured":"S P Johnson, Mapping Numerical Software onto Distributed Memory Parallel Systems, PhD Thesis, University of Greenwich, London (1992)."},{"key":"63_CR18","unstructured":"M Cross et al, CAPTools: overview of an interactive toolkit for mapping FORTRAN codes onto parallel architectures, submitted for publication."},{"key":"63_CR19","unstructured":"S P Johnson et al, CAPTools 2: Exploitation of symbolic information in interprocedural dependence analysis, submitted for publication."},{"key":"63_CR20","unstructured":"S P Johnson et al, CAPTools 3: Code generation for message passing distributed memory systems, submitted for publication."},{"key":"63_CR21","unstructured":"P F Leggett et al, CAPTools 4: User environment philosophy, submitted for publication."},{"key":"63_CR22","unstructured":"C S Ierotheou et al, CAPTools 5: Parallelisation of structured mesh codes \u2014 Case studies, submitted for publication."},{"key":"63_CR23","unstructured":"R A Frost, Introduction to Knowledge Based Systems, Collins (1986)."},{"key":"63_CR24","first-page":"8","volume":"15","author":"W. Pugh","year":"1992","unstructured":"Pugh W. A Practical Algorithm For Exact Dependence Analysis. Communications Of The ACM, 15, 8, (1992).","journal-title":"Communications Of The ACM"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:29:25Z","timestamp":1742596165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}