{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:13Z","timestamp":1725663493230},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:50:06Z","timestamp":1330257006000},"page":"42-55","source":"Crossref","is-referenced-by-count":3,"title":["2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks"],"prefix":"10.1007","author":[{"given":"Yosi","family":"Ben-Asher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gudula","family":"R\u00fcnger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt and E. R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4757-4376-0"},{"issue":"8","key":"4_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communication of the ACM, 21(8):613\u2013641, 1978.","journal-title":"Communication of the ACM"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"G. Bell. Ultracomputers: a teraflop before its time. Communications of the ACM, 35(8), 1992.","DOI":"10.1145\/135226.135227"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1016\/0743-7315(92)90036-M","volume":"16","author":"Y. Ben-Asher","year":"1992","unstructured":"Y. Ben-Asher, D. Egozi, and A. Schuster. 2-D SIMD algorithms for perfect shuffle networks. J. Parallel and Distributed Computing, 16:250\u2013257, 1992.","journal-title":"J. Parallel and Distributed Computing"},{"key":"4_CR5","unstructured":"Y. Ben-Asher, G. R\u00fcnger, A. Schuster, and R. Wilhelm. 2DT-FP: An FP based programming language. Technical report, Universit\u00e4t des Saarlandes, SFB 124, 1992."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Y. Ben-Asher, G. R\u00fcnger, A. Schuster, and R. Wilhelm. Implementing 2DT-FP on a multiprocessor. 1993. submitted to ParCo93.","DOI":"10.1007\/3-540-57877-3_8"},{"issue":"2","key":"4_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-7315(90)90087-6","volume":"8","author":"G. E. Blelloch","year":"1990","unstructured":"G.E. Blelloch and G.W. Sabot. Compiling collection-oriented languages onto massively parallel computers. J. of Parallel and Distributed Computing, 8(2):119\u2013134, February 1990.","journal-title":"J. of Parallel and Distributed Computing"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Y. Ben-Asher, H. Seidl, and R. Wilhelm. The TRANSPOSE machine: A global implementation of a parallel graph reducer. In Proc. of Tencon'89, Bombay, 1989.","DOI":"10.1109\/TENCON.1989.177070"},{"key":"4_CR9","unstructured":"Inmos Ltd. Occam Programming Manual, 1984."},{"issue":"4","key":"4_CR10","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1002\/spe.4380130403","volume":"13","author":"R. H. Perrott","year":"1983","unstructured":"R.H. Perrott, D. Crookes, and P. Milligan. The programming language ACTUS. Software \u2014 Pract. & Exp., 13(4):305\u2013322, April 1983.","journal-title":"Software \u2014 Pract. & Exp"},{"key":"4_CR11","unstructured":"R.H. Perrott. Parallel programming. Addison-Wesley, 1987. International Computer Science series."},{"key":"4_CR12","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN 19, Department of Computer Science, Aarhus University, 1981."},{"key":"4_CR13","unstructured":"J.R. Rose. C\u22c6: a C++-like language for data parallel computation. Usenix C++ Papers, pages 127\u2013134, December 1987."},{"key":"4_CR14","unstructured":"United States Department of Defense. Reference Manual for the Ada Programming Language, 1983."}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:50Z","timestamp":1605647210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}