{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,13]],"date-time":"2023-10-13T17:07:22Z","timestamp":1697216842979},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,4,1]],"date-time":"1986-04-01T00:00:00Z","timestamp":512697600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1986,4]]},"DOI":"10.1007\/bf01414441","type":"journal-article","created":{"date-parts":[[2005,4,3]],"date-time":"2005-04-03T08:32:46Z","timestamp":1112517166000},"page":"103-125","source":"Crossref","is-referenced-by-count":5,"title":["Denotational semantics of a para-functional programming language"],"prefix":"10.1007","volume":"15","author":[{"given":"Paul","family":"Hudak","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"CR1","first-page":"291","volume":"9","author":"Arvind","year":"1981","unstructured":"Arvind and V. Kathail, A Multiple Processor Data Flow Machine that Supports Generalized Procedures,Proc. 8th Annual Sym. Comp. Arch., ACM-SIGARCH9(3):291?302 (May 1981).","journal-title":"Proc. 8th Annual Sym. Comp. Arch."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"A. L. Davis, The Architecture and System Method of DDM-1: A Recursively-structured Data Driven Machine,Proc. Fifth Annual Symposium on Computer Architecture (1978).","DOI":"10.1145\/800094.803050"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"J. B. Dennis and D. P. Misunas, A Preliminary Architecture for a Basic Data-flow Processor,Proc. of the 2nd Annual Symposium on Computer Architecture, pp. 126?132, ACM, IEEE (1974).","DOI":"10.1145\/641675.642111"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"R. M. Keller, G. Lindstrom, and S. Patil, A Loosely-coupled Applicative Multiprocessing System,AFIPS, pp. 613?622 (June 1979).","DOI":"10.1109\/MARK.1979.8817294"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"P. Hudak and B. Goldberg, Distributed Execution of Functional Programs Using Serial Combinators,Proceedings of Intl. Conf. on Parallel Proc., pp. 831?839 (August 1985; also appeared inIEEE Trans. on Computers,C-34(10):881?891 (October 1985).","DOI":"10.1109\/TC.1985.6312191"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"P. Hudak and B. Goldberg,Serial Combinators: ?Optimal? Grains of Parallelism, pp. 382?388. Springer-Verlag LNCS 201 (September 1985).","DOI":"10.1007\/3-540-15975-4_49"},{"issue":"7","key":"CR7","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?82 (July 1984).","journal-title":"IEEE Computer"},{"key":"CR8","unstructured":"P. C. Treleaven, D. R. Brownbridge, and R. P. Hopkins, Data Driven and Demand Driven Computer Architecture. ARM 15, The University of Newcastly Upon Tyne Computing Lab, (July 1980)."},{"key":"CR9","unstructured":"P. Hudak,Exploring Para-functional Programming, Research Report YALEU\/DCS\/RR-467, Yale University, Department of Computer Science (April 1986)."},{"issue":"8","key":"CR10","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?71 (August 1986).","journal-title":"Computer"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"P. Hudak and L. Smith, Para-functional Programming: A Paradigm for Programming Multiprocessor systems,In 12th ACM Sym. ob Prin. of Prog. Lang., pp. 253?254 (January 1986).","DOI":"10.1145\/512644.512667"},{"key":"CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages","author":"J. C. Gordon","year":"1979","unstructured":"J. C. Gordon,The Denotational Description of Programming Languages, Springer-Verlag, New York (1979)."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"P. Hudak and J. Young, Higher-order Strictness Analysis for Unyped Lambda Calculus, In12th ACM Sym. on Prin. of Prog. Lang., pp. 97?109 (January 1986).","DOI":"10.1145\/512644.512653"},{"key":"CR14","unstructured":"P. Hudak,ALFL Reference Manual and Programmer's Guide, Research Report YALEU\/DCS\/RR-322, Second Edition, Yale University (October 1984)."},{"key":"CR15","unstructured":"W. Clingeret al., The Revised Revised Report on Scheme, or An UnCommon Lisp, AI Memo 848, Massachusets Institute of Technology (August 1985)."},{"issue":"1","key":"CR16","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/TSE.1982.234771","volume":"8","author":"J. Schwarz","year":"1982","unstructured":"J. Schwarz, Using Annotations to Make Recursion Equations Behave,IEEE Trans. on Software Engineering,SE-8(1):21?33 (January 1982).","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"1","key":"CR17","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall and J. Darlington, A Transformation System for Developing Recursive Programs,JACM,24(1):44?67 (1977).","journal-title":"JACM"},{"key":"CR18","unstructured":"E. Shapiro,Systotic Programming: A Paradigm of Parallel Processing, Dept. of Applied Mathematics CS84-21, The Weizmann Institute of Science (August 1984)."},{"key":"CR19","unstructured":"S. Pappert,Mindstorms: Children, Computers and Powerful Ideas, Basic Books (1980)."},{"key":"CR20","unstructured":"R. M. Keller and G. Lindstrom, Approaching Distributed Database Implementations Through Functional Programming Concepts,Intl. Conf. on Distributed Systems (May 1985)."},{"key":"CR21","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).","DOI":"10.1145\/2993.357241"},{"key":"CR22","unstructured":"N. S. Sridharan,Semi-applicative Programming: An Exampe, Technical Report, BBN Laboratories (November 1985)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414441.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01414441\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414441","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T17:14:11Z","timestamp":1586193251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01414441"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,4]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,4]]}},"alternative-id":["BF01414441"],"URL":"https:\/\/doi.org\/10.1007\/bf01414441","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,4]]}}}