{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:22:18Z","timestamp":1725650538513},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571926"},{"type":"electronic","value":"9783642784866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78486-6_98","type":"book-chapter","created":{"date-parts":[[2012,1,8]],"date-time":"2012-01-08T17:17:00Z","timestamp":1326043020000},"page":"551-556","source":"Crossref","is-referenced-by-count":0,"title":["Funktionale Programmierung f\u00fcr massiv parallele Systeme"],"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":"98_CR1","volume-title":"Constructive Methods in Computing Science","author":"RS Bird","year":"1989","unstructured":"R. S. Bird. Lectures on constructive functional programming. In Manfred Broy, editor, Constructive Methods in Computing Science. Springer Verlag, 1989. Proceedings International Summer School, Berlin."},{"key":"98_CR2","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"M Cole","year":"1989","unstructured":"M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, 1989."},{"key":"98_CR3","volume-title":"Parallel programming using skeleton functions. Personal Communication","author":"J Darlington","year":"1992","unstructured":"J. Darlington, A. J. Field, P. G. Harrison et al. Parallel programming using skeleton functions. Personal Communication. Will he presented at PARLE\u201993, May 1992."},{"key":"98_CR4","volume-title":"Parallel Algorithm Derivation and Program Transformation","author":"P Pepper","year":"1993","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\u201323, Technische Universit\u00e4t Berlin, July 1992."},{"key":"98_CR5","volume-title":"Functional programming of massively parallel systems","author":"P Pepper","year":"1993","unstructured":"P. Pepper, J. Exner, and M. S\u00fcdholt. Functional programming of massively parallel systems. Technical Report 93\u201316, Technische Universit\u00e4t Berlin, 1993. To appear."},{"key":"98_CR6","volume-title":"Formal Methods in Programming and their Applications","author":"P Pepper","year":"1993","unstructured":"P. Pepper, J. Exner, and M. S\u00fcdholt. Towards an algebraic theory for the derivation of parallel programs. In Formal Methods in Programming and their Applications, Lecture Notes in Computer Science. Springer Verlag, July 1993. To appear."}],"container-title":["Informatik aktuell","Informatik \u2014 Wirtschaft \u2014 Gesellschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78486-6_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:59:54Z","timestamp":1620305994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78486-6_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571926","9783642784866"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78486-6_98","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}