{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T07:10:10Z","timestamp":1741158610002,"version":"3.38.0"},"publisher-location":"London","reference-count":41,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852335069"},{"type":"electronic","value":"9781447100973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-1-4471-0097-3_2","type":"book-chapter","created":{"date-parts":[[2011,4,23]],"date-time":"2011-04-23T02:53:31Z","timestamp":1303527211000},"page":"29-63","source":"Crossref","is-referenced-by-count":2,"title":["SAT: A Programming Methodology with Skeletons and Collective Operations"],"prefix":"10.1007","author":[{"given":"Sergei","family":"Gorlatch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"B. Bacci, S. Gorlatch, C. Lengauer, and S. Pelagatti. Skeletons and transformations in an integrated parallel programming environment. In Parallel Computing Technologies (PaCT-99), LNCS 1662, pages 13\u201327. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48387-X_2"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"M. Bernashi, G Iannello, and M. Lauria. Experimental results about MPI collective communication operations. In High-Performance Computing and Networking, Lecture Notes in Computer Science 1593, pages 775\u2013783, 1999.","DOI":"10.1007\/BFb0100638"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"G. Bilardi, K. Herley, A. Pietracaprina, G. Pucci, and P. Spirakis. BSP vs. LogP. In Eighth ACM Symp. on Parallel Algorithms and Architectures, pages 25\u201332, 1996.","DOI":"10.1145\/237502.237504"},{"key":"2_CR4","first-page":"151","volume":"55","author":"R Bird","year":"1988","unstructured":"R. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, NATO ASI Series F: Computer and Systems Sciences. Vol. 55, pages 151\u2013216. Springer-Verlag, 1988.","journal-title":"In M. Broy, editor, Constructive Methods in Computing Science, NATO ASI Series F: Computer and Systems Sciences"},{"issue":"11","key":"2_CR5","doi-asserted-by":"publisher","first-page":"1526","DOI":"10.1109\/12.42122","volume":"38","author":"G Blelloch","year":"1989","unstructured":"G. Blelloch. Scans as primitive parallel operations. IEEE Trans. on Computers, TC-38(11):1526\u20131538, November 1989.","journal-title":"IEEE Trans. on Computers"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C B\u00f6hm","year":"1966","unstructured":"C. B\u00f6hm and G. Jacopini. Flow diagrams, turing machines and languages with only two formation rules. Comm. ACM, 9:366\u2013371, 1966","journal-title":"Comm. ACM"},{"key":"2_CR7","unstructured":"M. Cole, S. Gorlatch, C. Lengauer, and D. Skillicorn, editors. Theory and Practice of Higher-Order Parallel Programming. Dagstuhl-Seminar Report 169, Schlo\u00df Dagstuhl. 1997."},{"key":"2_CR8","unstructured":"M. Cole, S. Gorlatch, J. Prins, and D. Skillicorn, editors. High Level Parallel Programming: Applicability, Analysis and Performance. Dagstuhl-Seminar Report 238, Schlo\u00df Dagstuhl. 1999."},{"key":"2_CR9","unstructured":"M. I. Cole. Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation. Pitman, 1989."},{"key":"2_CR10","unstructured":"-J. Dahl, E. W. Dijkstra, and C. A.R.Hoare. Structured Programming. Academic Press, 1975"},{"key":"2_CR11","unstructured":"B. Di Martino, A. Mazzeo, N. Mazzocca, and U. Villano. Restructuring parallel programs by transformation of point-to-point interactions into collective communication. Available at http:\/\/www.grid.unina.it"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"EW Dijkstra","year":"1968","unstructured":"E. W. Dijkstra. Go To statement considered harmful. Comm. ACM, 11(3):147\u2013148, 1968.","journal-title":"ACM"},{"key":"2_CR13","unstructured":"I. Foster. Designing and Building Parallel Programs. Addison-Wesley, 1995."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"S. Gorlatch. Systematic efficient parallelisation of scan and other list homomorphisms. In L. Boug\u00a8\u00a6, P. Fraigniaud, A. Mignotte, and Y. Robert, editors, Euro-Par\u201996: Parallel Processing, Vol. II, Lecture Notes in Computer Science 1124, pages 401\u2013408. Springer-Verlag, 1996","DOI":"10.1007\/BFb0024729"},{"key":"2_CR15","unstructured":"S. Gorlatch. Abstraction and performance in the design of parallel programs Habilitation Thesis. Universit\u00e4t Passau. MIP-9802, 1998."},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(97)00014-2","volume":"33","author":"S Gorlatch","year":"1998","unstructured":"S. Gorlatch. Extracting and implementing list homomorphisms in parallel program development. Science of Computer Programming, 33(1):1\u201327, 1998.","journal-title":"Science of Computer Programming"},{"key":"2_CR17","unstructured":"S. Gorlatch, editor. First Int. Workshop on Constructive Methods for Parallel Programming (CMPP\u201998), Techreport MIP-9805. University of Passau, May 1998."},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/32.842952","volume":"26","author":"S Gorlatch","year":"2000","unstructured":"S. Gorlatch. Towards formally-based design of message passing programs. IEEE Trans. on Software Engineering, 26(3):276\u2013288, March 2000.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"4","key":"2_CR19","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1142\/S0129626498000456","volume":"8","author":"S Gorlatch","year":"1998","unstructured":"S. Gorlatch and H. Bischof. A generic MPI implementation for a data-parallel skeleton: Formal derivation and application to FFT. Parallel Processing Letters, 8(4):447\u2013458, 1998.","journal-title":"Formal derivation and application to FFT. Parallel Processing Letters"},{"key":"2_CR20","unstructured":"S. Gorlatch and C. Lengauer, editors. Second Int. Workshop on Constructive Methods for Parallel Programming (CMPP\u20192000), Techreport MIP0007. University of Passau, June 2000."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"S. Gorlatch, C. Wedler, and C. Lengauer. Optimization rules for programming with collective operations. In M. Atallah, editor, Proc. IPPS\/SPDP\u201999, pages 492\u2013499. IEEE Computer Society Press, 1999.","DOI":"10.1109\/IPPS.1999.760522"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"M. Goudreau, K. Lang, S. Rao, T. Suel, and T. Tsantilas. Towards efficiency and portablility. programming with the BSP model. In Eighth ACM Symp. on Parallel Algorithms and Architectures, pages 1\u201312, 1996.","DOI":"10.1145\/237502.237503"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"M. Goudreau and S. Rao. Single-message vs. batch communication. In M. Heath, A. Ranade, and R. Schreiber, editors, Algorithms for parallel processing, pages 61\u201374. Springer-Verlag, 1999","DOI":"10.1007\/978-1-4612-1516-5_3"},{"key":"2_CR24","unstructured":"W. Gropp, E. Lusk, and A. Skjellum. Using MPI: Portable Parallel Programming with the Message Passing. MIT Press, 1994."},{"key":"2_CR25","first-page":"239","volume-title":"Proc. Eighth Int. Workshop on Compilers for Parallel Computers","author":"CA Herrmann","year":"2000","unstructured":"C. A. Herrmann and C. Lengauer. The hdc compiler project. In A. Darte, G.-A. Silber, and Y. Robert, editors, Proc. Eighth Int. Workshop on Compilers for Parallel Computers (CPC 2000), pages 239\u2013254. LIP, ENS Lyon, 2000."},{"key":"2_CR26","unstructured":"K. Hwang and Z. Xu. Scalable Parallel Computing. McGraw Hill, 1998."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"T. Kielmann, H. E. Bal, and S. Gorlatch. Bandwidth-efficient collective communication for clustered wide area systems. In Parallel and Distributed Processing Symposium (IPDPS 2000), pages 492\u2013499, 2000.","DOI":"10.1109\/IPDPS.2000.846026"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"T. Kielmann, R. F. Hofman, H. E. Bal, A. Plaat, and R. A. Bhoedjang. MagPIe: MPI\u2019s collective communication operations for clustered wide area systems. In Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP\u201999), pages 131\u2013140, 1999.","DOI":"10.1145\/301104.301116"},{"key":"2_CR29","unstructured":"V. Kumar et al. Introduction to Parallel Computing. Benjamin\/Cummings Publ., 1994"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Proc. 5th ACM Conf. on Functional Prog. and Comp. Architecture (FPCA \u201991), pages 124\u2013144. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_7"},{"issue":"6","key":"2_CR31","doi-asserted-by":"publisher","first-page":"1737","DOI":"10.1145\/197320.197356","volume":"16","author":"J Misra","year":"1994","unstructured":"J. Misra. Powerlist: a structure for parallel recursion. ACM TOPLAS, 16(6):1737\u20131767, 1994.","journal-title":"ACM TOPLAS"},{"issue":"7","key":"2_CR32","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1002\/spe.4380240703","volume":"24","author":"D Musser","year":"1994","unstructured":"D. Musser and A. Stepanov. Algorithm-oriented generic libraries. Software \u00a1\u00aa Practice and Experience, 24(7):623\u2013642, 1994.","journal-title":"Software \u00a1\u00aa Practice and Experience"},{"key":"2_CR33","unstructured":"P. Pacheco. Parallel Programming with MPI. Morgan Kaufmann Publ., 1997."},{"key":"2_CR34","unstructured":"J.-Y. L. Park, H.-A. Choi, N. Nupairoj, and L. M. Ni. Construction of optimal multicast trees based on the parameterized communication model. In Proc. Int. Conference on Parallel Processing (ICPP), volume I, pages 180\u2013187, 1996."},{"key":"2_CR35","unstructured":"M. J. Quinn. Parallel Computing. McGraw-Hill, Inc., 1994."},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"D. Skillicorn. Foundations of Parallel Programming. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511526626"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1006\/jpdc.1995.1089","volume":"28","author":"D Skillicorn","year":"1995","unstructured":"D. Skillicorn and W. Cai. A cost calculus for parallel functional programming. J. Parallel and Distributed Computing, 28:65\u201383, 1995.","journal-title":"J. Parallel and Distributed Computing"},{"key":"2_CR38","first-page":"2000","volume-title":"Proc. Supercomputing","author":"SS Vadhiyar","year":"2000","unstructured":"S. S. Vadhiyar, G. E. Fagg, and J. Dongarra. Automatically tuned collective communications. In Proc. Supercomputing 2000. Dallas, TX, November 2000."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"L. Valiant General purpose parallel architectures. In Handbook of Theoretical Computer Science, volume A, chapter 18, pages 943\u2013971. MIT Press, 1990","DOI":"10.1016\/B978-0-444-88071-0.50023-0"},{"key":"2_CR40","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1006\/jpdc.1994.1091","volume":"22","author":"R Geijn van de","year":"1994","unstructured":"R. van de Geijn. On global combine operations. J. Parallel and Distributed Computing, 22:324\u2013328, 1994.","journal-title":"J. Parallel and Distributed Computing"},{"key":"2_CR41","unstructured":"[41] R. van de Geijn. Using PLAPACK: Parallel Linear Algebra Package. Scientific and Engineering Computation Series. MIT Press, 1997."}],"container-title":["Patterns and Skeletons for Parallel and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0097-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T06:28:50Z","timestamp":1741156130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0097-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9781852335069","9781447100973"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0097-3_2","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}