{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:13:48Z","timestamp":1725459228227},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057316X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039710","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:17:03Z","timestamp":1138198623000},"page":"217-238","source":"Crossref","is-referenced-by-count":4,"title":["Functional development of massively parallel programs"],"prefix":"10.1007","author":[{"given":"Peter","family":"Pepper","sequence":"first","affiliation":[]},{"given":"J\u00fcrgen","family":"Exner","sequence":"additional","affiliation":[]},{"given":"Mario","family":"S\u00fcdholt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"R. S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI, F, pages 5\u201342. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"R. S. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, volume 55 of NATO ASI, F, pages 151\u2013216. Springer Verlag, 1988.","DOI":"10.1007\/978-3-642-74884-4_5"},{"key":"15_CR3","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, 1990."},{"key":"15_CR4","unstructured":"M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, 1989."},{"key":"15_CR5","unstructured":"J. Darlington, A. J. Field, P. G. Harrison et al. Parallel programming using skeleton functions. Personal Communication. Presented at PARLE '93."},{"issue":"5","key":"15_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.211896","volume":"26","author":"A. S. Grimshaw","year":"1993","unstructured":"A. S. Grimshaw. Easy-to-use object-oriented parallel processing with Mentat. IEEE Computer, 26(5):39\u201351, May 1993.","journal-title":"IEEE Computer"},{"key":"15_CR7","unstructured":"P. Pepper. Deductive derivation of parallel programs. In R. Paige, J. Reif, and R. Wachter, editors, Parallel Algorithm Derivation and Program Transformation. Kluwer Academic Publishers, 1993. To appear. Also: Technical Report 92-23, Technische Universit\u00e4t Berlin, July 1992."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"P. Pepper and B. M\u00f6ller. Programming with (finite) mappings. In M. Broy, editor, Informatik und Mathematik, pages 381\u2013405. Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-76677-0_28"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"D. B. Skillicorn. The Bird-Meertens formalism as a parallel model. Presented at: NATO ARW Software for Parallel Computation, Cosenza, Italy, June 1992, 1992.","DOI":"10.1007\/978-3-642-58049-9_9"},{"key":"15_CR10","unstructured":"Y. V. Srinivas. A sheaf-theoretic approach to pattern matching and related problems. Technical report, Kestrel Institute, 1991."},{"key":"15_CR11","unstructured":"F. W. von Henke. On generating programs from types: An approach to automatic programming. In G. Huet and G. Kahn (eds.) Construction, Am\u00e9lioration et V\u00e9rification des Programmes, 57\u201369. Colloques IRIA, 1975."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"J. A. Yang and Y. il Choo. Formal derivation of an efficient parallel 2-d gauss-seidel method. In Proceedings of the 6th International Processing Symposium, pages 204\u2013207. IEEE Computer Society Press, March 1992.","DOI":"10.1109\/IPPS.1992.223046"},{"key":"15_CR13","unstructured":"Young-il Choo. Data fields as parallel programs. Talk at TU Berlin, 1993."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Programming and Their Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039710.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:26:14Z","timestamp":1607552774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039710"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057316X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0039710","relation":{},"subject":[]}}