Primitives for resource management in a demand-driven reduction model

DOI10.1007/BF01414555zbMath0614.68006OpenAlexW1972320897MaRDI QIDQ1819923

Bharat Jayaraman, Robert M. Keller

Publication date: 1986

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01414555

zbMATH Keywords

nondeterminismfunctional languageresource synchronizationapplicative languagesdemand-driven evaluationGraph reductiondemand-driven graph reductionfunction graph languageresource expressionssynchronization and scheduling of resources

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• DTL: A language for the design and implementation of concurrent programs as structured networks
• Monitors
• Communicating sequential processes
• Specification and Proof Techniques for Serializers
• The Mechanical Evaluation of Expressions

This page was built for publication: Primitives for resource management in a demand-driven reduction model