Programming Semantics for Multiprogrammed Computations.¶
Dennis, J. B., & Van Horn, E. C. (1966). Programming Semantics for Multiprogrammed Computations. Communications of the ACM, 9(3), 143-155.
Cited by¶
3 citations across 3 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Designed-Out Misuse
- The asymmetric treatment is structural: in a capability model, a process can only act on a resource if it holds an unforgeable token (a capability) for it
This sourceIntroduces capability-based protection, in which a process can act on a resource only if it holds an unforgeable capability token — making the misuse path inexpressible rather than merely punished.
- The asymmetric treatment is structural: in a capability model, a process can only act on a resource if it holds an unforgeable token (a capability) for it
- Information Use License
- Decisions that were central and serial become distributed and parallel.
This sourceIntroduces capabilities as authority objects a holder carries and checks locally, removing the granting authority from each individual use decision.
- Decisions that were central and serial become distributed and parallel.
- Property Rights
- Computer science: Capability-based access control, object ownership of mutable state, and resource-acquisition disciplines (such as Rust's ownership-and-borrowing model) enforce who may use, mutate, or delegate a resource, preventing the concurrent-access analogue of the tragedy of the commons — uncontrolled shared mutable state and the data races it produces.
This sourceSeminal definition of capability-based access control, in which possession of an unforgeable capability confers and bounds the right to use a computing object; supports the computer-science transfer of enforced exclusive entitlements over a resource.
- Computer science: Capability-based access control, object ownership of mutable state, and resource-acquisition disciplines (such as Rust's ownership-and-borrowing model) enforce who may use, mutate, or delegate a resource, preventing the concurrent-access analogue of the tragedy of the commons — uncontrolled shared mutable state and the data races it produces.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:360aaa6d5427 · see in the full table