Semantics and Implementation of Resource Expressions

Document Type



Computer Science (HMC)

Publication Date



Resource expressions are high-level specifications of resource control. They can be used to coordinate concurrent access to shared objects, such as files, data bases, etc., or to exercise control over the evaluation of operations that are known to have excessive computational requirements. Resource expressions are similar to path expressions in their syntax and basic approach to specification of constraints, but differ in their semantics. The semantics of resource expressions are based on the concept of execution graphs and residues, and their implementation is based on a set of queueing primitives. The translated program for a resource expression closely reflects the structure of the original resource expression and is therefore highly modular.

Rights Information

©1989 Elsevier

Terms of Use & License Information

Terms of Use for work posted in Scholarship@Claremont.