{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:33Z","timestamp":1725663693784},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_49","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:51:48Z","timestamp":1330203108000},"page":"321-334","source":"Crossref","is-referenced-by-count":2,"title":["Single-assignment semantics for imperative programs"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Lisper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MC.1982.1653938","volume":"15","author":"W. B. Ackerman","year":"1982","unstructured":"W. B. Ackerman. Data flow languages. Computer, 15:15\u201325, February 1982.","journal-title":"Computer"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting equality of variables in programs. In Proc. POPL, pages 1\u201311, ACM, January 1988.","DOI":"10.1145\/73560.73561"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"P. K. Cappello and K. Steiglitz. Unifying VLSI Array Design with Linear Transformations of Space-Time. Research Report TRCS83-03, Dept. Comput. Sci., UCSB, 1983.","DOI":"10.1117\/12.944011"},{"key":"21_CR4","unstructured":"M. C. Chen. Transformation of parallel programs in Crystal. In H.-J. Kugler, editor, INFORMATION PROCESSING 86, pages 455\u2013462, Elsevier Publishers B.V. (North-Holland), 1986."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. An efficient method of computing static single assignment form. In Proc. POPL, pages 25\u201335, ACM, January 1989.","DOI":"10.1145\/75277.75280"},{"key":"21_CR6","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J., 1976."},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume-title":"Mathematical Aspects of Computer Science","author":"R. W. Floyd","year":"1967","unstructured":"R. W. Floyd. Assigning meaning to programs. In J. T. Schwartz, editor, Proc. Symp. Applied Mathematics, vol. 19: Mathematical Aspects of Computer Science, pages 19\u201332, American Mathematical Society, Providence, R.I., 1967."},{"key":"21_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"G. Gr\u00e4tzer. Universal Algebra. Springer-Verlag, New York, NY, 1979."},{"issue":"1","key":"21_CR9","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/357153.357157","volume":"4","author":"I. Greif","year":"1982","unstructured":"I. Greif and A. R. Meyer. Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. ACM Trans. Program. Lang. Syst., 4(1):44\u201382, January 1982.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"D. Gries. The Science of Programming. Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"issue":"10","key":"21_CR11","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An exiomatic basis for computer programming. Comm. ACM, 12(10):576\u2013580, 583, October 1969.","journal-title":"Comm. ACM"},{"key":"21_CR12","first-page":"135","volume":"3","author":"C. A. R. Hoare","year":"1974","unstructured":"C. A. R. Hoare and P. E. Lauer. Consistent and complementary formal theories of the semantics of programming languages. Acta Inf., 3:135\u2013153, 1974.","journal-title":"Acta Inf."},{"key":"21_CR13","unstructured":"P. Hudak, J-M. Delosme, and I. C. F. Ipsen. ParLance: A Para-Functional Programming Environment for Parallel and Distributed Computing. Research Report YALEU\/DCS\/RR-524, Dept. Comput. Sci., Yale University, March 1987."},{"issue":"1","key":"21_CR14","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/356683.356686","volume":"9","author":"D. J. Kuck","year":"1977","unstructured":"D. J. Kuck. A survey of parallel machine organization and programming. Computing Surveys, 9(1):29\u201359, March 1977.","journal-title":"Computing Surveys"},{"key":"21_CR15","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/T-C.1972.223501","volume":"C-21","author":"D. J. Kuck","year":"1972","unstructured":"D. J. Kuck, Y. Muraoka, and S. C. Chen. On the number of operations simultaneously executable in Fortran-like programs and their resulting speedup. IEEE Trans. Comput., C-21:1293\u20131310, December 1972.","journal-title":"IEEE Trans. Comput."},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport. The parallel execution of DO loops. Comm. ACM, 17:83\u201393, February 1974.","journal-title":"Comm. ACM"},{"key":"21_CR17","unstructured":"J. Li, M. C. Chen, and M. F. Young. Design of Systolic Algorithms for Large Scale Multiprocessors. Technical Report YALEU\/DCS\/TR-513, Dept. Comput. Sci., Yale University, February 1987."},{"key":"21_CR18","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(88)90026-6","volume":"58","author":"B. Lisper","year":"1988","unstructured":"B. Lisper. Synthesis and equivalence of concurrent systems. Theoretical Computer Science, 58:183\u2013199, 1988.","journal-title":"Theoretical Computer Science"},{"key":"21_CR19","volume-title":"Synthesis of Synchronous Systems by Static Scheduling in Space-time. Volume 362 of Lecture Notes in Computer Science","author":"B. Lisper","year":"1989","unstructured":"B. Lisper. Synthesis of Synchronous Systems by Static Scheduling in Space-time. Volume 362 of Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, May 1989."},{"key":"21_CR20","unstructured":"B. Lisper. Time-Optimal Synthesis of Systolic Arrays with Pipelined Cells. Research Report YALEU\/DCS\/RR-560, Dept. Comput. Sci., Yale University, September 1987."},{"key":"21_CR21","unstructured":"M. G. Main. A powerdomain primer. Bullentin of the European Association for Theoretical Computer Science, (33):115\u2013147, October 1987."},{"key":"21_CR22","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna. Mathematical Theory of Computation. McGraw-Hill, New York, 1974."},{"issue":"1","key":"21_CR23","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/357153.357157","volume":"4","author":"J. R. McGraw","year":"1982","unstructured":"J. R. McGraw. The VAL language: description and analysis. ACM Trans. Program. Lang. Syst., 4(1):44\u201382, January 1982.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR24","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF02253685","volume":"32","author":"W. L. Miranker","year":"1984","unstructured":"W. L. Miranker and A. Winkler. Spacetime representations of computational structures. Computing, 32:93\u2013114, 1984.","journal-title":"Computing"},{"key":"21_CR25","doi-asserted-by":"crossref","first-page":"1121","DOI":"10.1109\/TC.1982.1675929","volume":"C-31","author":"D. I. Moldovan","year":"1982","unstructured":"D. I. Moldovan. On the analysis and synthesis of VLSI algorithms. IEEE Trans. Comput., C-31:1121\u20131126, October 1982.","journal-title":"IEEE Trans. Comput."},{"key":"21_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TC.1986.1676652","volume":"C-35","author":"D. I. Moldovan","year":"1986","unstructured":"D. I. Moldovan and J. A. B. Fortes. Partitioning and mapping algorithms in fixed size systolic arrays. IEEE Trans. Comput., C-35:1\u201312, January 1986.","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"21_CR27","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1109\/TC.1980.1675676","volume":"C-29","author":"D. A. Padua","year":"1980","unstructured":"D. A. Padua, D. J. Kuck, and D. H. Lawrie. High-speed multiprocessors and compilation techniques. IEEE Trans. Comput., C-29(9):763\u2013776, September 1980.","journal-title":"IEEE Trans. Comput."},{"issue":"12","key":"21_CR28","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. A. Padua","year":"1986","unstructured":"D. A. Padua and M. J. Wolfe. Advanced compiler optimizations for supercomputers. Comm. ACM, 29(12):1184\u20131201, December 1986.","journal-title":"Comm. ACM"},{"key":"21_CR29","unstructured":"P. Quinton. The Systematic Design of Systolic Arrays. Research Report RR 216, INRIA, Rennes, July 1983."},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"S. V. Rajopadye, S. Purushotaman, and R. Fujimoto. On Synthesizing Systolic Arrays from Recurrence Relations with Linear Dependencies. Detailed summary, Dept. Comput. Sci., University of Utah, 1986.","DOI":"10.1007\/3-540-17179-7_30"},{"key":"21_CR31","unstructured":"R. A. Towle. Control and data dependence for program transformations. PhD thesis, Dept. Comput. Sci., University of Illinois at Urbana-Champaign, March 1976."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:57:40Z","timestamp":1687283860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}