{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:25Z","timestamp":1725663025331},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183174"},{"type":"electronic","value":"9783540478799"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:32:46Z","timestamp":1330198366000},"page":"234-256","source":"Crossref","is-referenced-by-count":8,"title":["Pomset interpretations of parallel functional programs"],"prefix":"10.1007","author":[{"given":"Paul","family":"Hudak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"F.W. Burton. Annotations to control parallelism and reduction order in the distributed evaluation of functional programs. ACM Trans. on Prog. Lang. and Sys., 6(2), April 1984.","key":"14_CR1","DOI":"10.1145\/2993.357241"},{"doi-asserted-by":"crossref","unstructured":"B. Goldberg. Detecting sharing of partial applications in functional programs. In Proceedings of 1987 Functional Programming Languages and Computer Architecture Conference, page to appear, Springer Verlag LNCS ..., September 1987.","key":"14_CR2","DOI":"10.1007\/3-540-18317-5_22"},{"unstructured":"B. Goldberg. Multiprocessor Execution of Functional Programs. PhD thesis, Yale University, Department of Computer Science, expected Spring 1987.","key":"14_CR3"},{"issue":"2","key":"14_CR4","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BF01414441","volume":"15","author":"P. Hudak","year":"1986","unstructured":"P. Hudak. Denotational semantics of a para-functional programming language. Int'l Journal of Parallel Programming, 15(2):103\u2013125, 1986.","journal-title":"Int'l Journal of Parallel Programming"},{"issue":"8","key":"14_CR5","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/MC.1986.1663309","volume":"19","author":"P. Hudak","year":"1986","unstructured":"P. Hudak. Para-functional programming. Computer, 19(8):60\u201371, August 1986.","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"P. Hudak and B. Goldberg. Distributed execution of functional programs using serial combinators. In Proceedings of 1985 Int'l Conf. on Parallel Proc., pages 831\u2013839, August 1985. Also appeared in IEEE Trans. on Computers, Vol C-34, No. 10, October 1985, pages 881\u2013891.","key":"14_CR6","DOI":"10.1109\/TC.1985.6312191"},{"doi-asserted-by":"crossref","unstructured":"P. Hudak and B. Goldberg. Serial combinators: \u201coptimal\u201d grains of parallelism. In Functional Programming Languages and Computer Architecture, pages 382\u2013388, Springer-Verlag LNCS 201, September 1985.","key":"14_CR7","DOI":"10.1007\/3-540-15975-4_49"},{"doi-asserted-by":"crossref","unstructured":"P. Hudak and L. Smith. Para-functional programming: a paradigm for programming multiprocessor systems. In 12th ACM Sym. on Prin. of Prog. Lang., pages 243\u2013254, January 1986.","key":"14_CR8","DOI":"10.1145\/512644.512667"},{"doi-asserted-by":"crossref","unstructured":"P. Hudak and J. Young. Higher-order strictness analysis for untyped lambda calculus. In 12th ACM Sym. on Prin. of Prog. Lang., pages 97\u2013109, January 1986.","key":"14_CR9","DOI":"10.1145\/512644.512653"},{"doi-asserted-by":"crossref","unstructured":"R.J.M. Hughes. Super-combinators: a new implementation method for applicative languages. In Proc. 1982 ACM Conf. on LISP and Functional Prog., pages 1\u201310, ACM, August 1982.","key":"14_CR10","DOI":"10.1145\/800068.802129"},{"issue":"7","key":"14_CR11","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/MC.1984.1659188","volume":"17","author":"R. M. Keller","year":"1984","unstructured":"R.M. Keller and F.C.H. Lin. Simulated performance of a reduction-based multiprocessor. IEEE Computer, 17(7):70\u201382, July 1984.","journal-title":"IEEE Computer"},{"unstructured":"R.M. Keller and G. Lindstrom. Approaching distributed database implementations through functional programming concepts. In Int'l Conf. on Distributed Systems, May 1985.","key":"14_CR12"},{"issue":"1","key":"14_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modeling concurrency with partial orders. Int'l Journal of Parallel Programming, 15(1):33\u201372, February 1986.","journal-title":"Int'l Journal of Parallel Programming"},{"unstructured":"N.S. Sridharan. Semi-applicative programming: an example. Technical Report, BBN Laboratories, November 1985.","key":"14_CR14"},{"issue":"1","key":"14_CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/356869.356873","volume":"14","author":"P. C. Treleaven","year":"1982","unstructured":"P.C. Treleaven, D.R. Brownbridge, and R.P. Hopkins. Data-driven and demand-driven computer architectures. Computing Surveys, 14(1):93\u2013143, March 1982.","journal-title":"Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18317-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:36Z","timestamp":1605644076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}