{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T10:55:07Z","timestamp":1757588107065},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"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,6]]},"DOI":"10.1007\/bf01414555","type":"journal-article","created":{"date-parts":[[2005,4,3]],"date-time":"2005-04-03T15:24:21Z","timestamp":1112541861000},"page":"215-244","source":"Crossref","is-referenced-by-count":1,"title":["Primitives for resource management in a demand-driven reduction model"],"prefix":"10.1007","volume":"15","author":[{"given":"Bharat","family":"Jayaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Keller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Arvind, K. P. Gostelow, and W. Plouffe, The Id Report: an Asynchronous Programming Language and Computing Machine, TR 114A, University of California at Irvine (1978)."},{"key":"CR2","unstructured":"D. Comte and N. Hifdi, LAU Multiprocessor: Microfunctional description and technological choices, inFirst European Conf. on Parallel and Distributed Processing, IFIPS, AFCET, CNRS, pp. 8?15 (1979)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"A. L. Davis, The Architecture and System Method of DDM-1: A Recursively-Structured Data Driven Machine, inProc. Fifth Annual Symp. on Computer Architecture (1978).","DOI":"10.1145\/800094.803050"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"J. B. Dennis, First Version of a Data-Flow Procedure Language,Lecture Notes in Computer Science, New York, pp. 362?376 (1974).","DOI":"10.1007\/3-540-06859-7_145"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"R. M. Keller, G. Lindstrom, and S. S. Patil, A Loosely-Coupled Applicative Multiprocessing System, inAFIPS Proc. (1979).","DOI":"10.1109\/MARK.1979.8817294"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"E. J. Courtois, F. Heymans, and D. L. Parnas, Concurrent Control with Readers Writers, inCommunications of the ACM 14:667?668 (October 1971).","DOI":"10.1145\/362759.362813"},{"key":"CR7","unstructured":"B. Jayaraman and R. M. Keller, Resource Expressions for Applicative Languages, inInternational Conf. on Parallel Processing, pp. 160?167 (1982)."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra, Solution of a Problem in Concurrent Programming Control, inComminications of the ACM 8:569 (September 1965).","DOI":"10.1145\/365559.365617"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"J. McCarthy, A Basis for Mathematical Theory of Computation, inComputer Programming and Formal Systems, pp. 33?70 (1963).","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"CR10","unstructured":"B. Jayaraman and R. M. Keller, Resource Control in a Demand-driven Data-flow Model, inInternational Conf. on Parallel Processing, pp. 118?127 (1980)."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"P. R. Kosinski, Denotational Semantics of Determinate and Nondeterminate Data Flow Programs, Ph.D. Thesis, M.I.T. (May 1979).","DOI":"10.1145\/512760.512783"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"S. A. Ward, Functional Domains of Applicative Languages, Tech Report MAC TR-136, MIT Project MAC (September 1974).","DOI":"10.21236\/AD0787796"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"D. P. Friedman and D. S. Wise, An Indeterminate Constructor for Applicative Programming, inProc. of the Seventh Annual Symp. on Principles of Programming Languages, pp. 245?250 (1980).","DOI":"10.1145\/567446.567470"},{"key":"CR14","unstructured":"K. S. Weng, An Abstract implementation of Generalized Data Flow Language, Ph.D. Thesis, M.I.T. (May 1979)."},{"key":"CR15","first-page":"177","volume-title":"Functional Programming and its Applications","author":"P. Henderson","year":"1982","unstructured":"P. Henderson, Purely Functional Operating Systems inFunctional Programming and its Applications. Darlington, Henderson, and Turner (eds.), Cambridge University Press, London, pp. 177?192 (1982)."},{"key":"CR16","unstructured":"R. M. Keller, G. Lindstrom, and S. S. Patil, Dataflow Concepts for Hardware Design, inIEEE Compcon'80, pp. 105?111 (February 1980)."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Arvind, K. P. Gostelow, and W. Plouffe, Dataflow, Monitors, inProc. of the Sixth ACM Symp. on Operating Systems Principles, pp. 159?169 (1977).","DOI":"10.1145\/1067625.806559"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Arvind and J. D. Brock, Resource Managers in Functional Programming, inJ. of Parallel and Distributed Computing 1:5?21 (1984).","DOI":"10.1016\/0743-7315(84)90008-X"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"A. Catto and J. Gurd, Resource Management in Dataflow, inConf. on Functional Programming Languages and Computer Architecture, New Hampshire, pp. 77?84 (1981).","DOI":"10.1145\/800223.806765"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"R. P. Gabriel and J. McCarthy, Queue-based Multi-processing Lisp,Symposium on LISP and Functional Programming, Austin, pp. 25?43 (1984).","DOI":"10.1145\/800055.802019"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"C. T. Haynes and D. P. Friedman, Engines Build Process Abstractions, inProc. of the ACM Symp. on LISP and Functional Programming, Austin, Texas, pp. 18?24 (1984).","DOI":"10.1145\/800055.802018"},{"key":"CR22","unstructured":"R. M. Keller, Semantics and Applications of Function Graphys, Technical Report UUCS-80-112, Computer Science Dept., University of Utah (October 1980)."},{"key":"CR23","unstructured":"R. M. Keller and G. Lindstrom, Hierarchical Analysis of a Distributed Evaluator, inProc. of International Conf. on Parallel Processing, pp. 299?310 (1980)."},{"key":"CR24","unstructured":"D. P. Friedman and D. S. Wise, Cons Should Not Evaluate Its Arguments, inAutomata, Languages, and Programming, Edinburgh, pp. 257?284 (1976)."},{"key":"CR25","unstructured":"C. P. Wadsworth, Semantics and Pragmatics of Lambda-Calculus, Ph.D. Thesis, Oxford University (1971)."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"P. Hudak and J. Young, Higher-Order Strictness Analysis in Untyped Lambda Calculus, in13th ACM POPL, St. Petersburg Beach, pp. 97?109 (1986).","DOI":"10.1145\/512644.512653"},{"key":"CR27","unstructured":"R. M. Keller, B. Jayaraman, G. Lindstrom, and D. Rose, FGL Programmer's Guide, AMPS Technical Memo 1, University of Utah (March 1980)."},{"issue":"4","key":"CR28","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. Landin","year":"1964","unstructured":"P. Landin, The Mechanical Evaluation of Expressions,Computer Journal 6(4):308?320 (January 1964).","journal-title":"Computer Journal"},{"key":"CR29","unstructured":"R. M. Keller, Sentinels: a Concept for Multiprocess Coordination, Technical Report UUCS-78-104, Computer Science Dept., University of Utah (June 1978)."},{"key":"CR30","unstructured":"P. Henderson,Functional Programming, Prentice Hall (1980)."},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"T. Bloom, Evaluating Synchronization Mechanisms, inProc. of the Seventh ACM Symp. on Operating Systems Principles, pp. 24?32 (1979).","DOI":"10.1145\/800215.806566"},{"key":"CR32","unstructured":"R. J. M. Hughes, The Design and Implementation of Programming Languages, Ph.D. Thesis, Oxford University (1983)."},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Monitors: an Operating System Structuring Concept, inCommunications of the ACM 17:549?557 (October 1974).","DOI":"10.1145\/355620.361161"},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"C. E. Hewitt and R. R. Atkinson, Specification and Proof Techniques for Serielizers, inIEEE Transactions on Software Engineering SE-5:10?23 (January 1979).","DOI":"10.1109\/TSE.1979.234149"},{"key":"CR35","unstructured":"A. N. Habermann and R. H. Campbell, The Specification of Process Synchronization by Path Expression, inLecture Notes in Computer Science, pp. 89?102 (1974)."},{"key":"CR36","unstructured":"B. Jayaraman, Resource Extensions for FGL, AMPS Technical Memo 3, Department of Computer Science, University of Utah (July 1981)."},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Communicating Sequential Processes, inCommunications of the ACM 21:666?667 (August 1978).","DOI":"10.1145\/359576.359585"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414555.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01414555\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T17:23:23Z","timestamp":1586193803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01414555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF01414555"],"URL":"https:\/\/doi.org\/10.1007\/bf01414555","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}