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.
Supported in partVerified against the publisher's abstract
The abstract places the paper in protection of separate computations and sharing of computing objects among users, but never states that a process must hold an unforgeable capability token to act on a resource.
“These meta-instructions relate to parallel processing, protecting of separate computations, program debugging, and the sharing among users of memory segments and other computing objects, the names of which are hierarchically structured.”
- 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.
Borderline supportVerified against the publisher's abstract
The abstract places multiprogrammed parallel processing and protected sharing in view, but never states that central, serial decisions become distributed and parallel.
“These meta-instructions relate to parallel processing, protecting of separate computations, program debugging, and the sharing among users of memory segments and other computing objects, the names of which are hierarchically structured.”
Two runs of the same check disagreed on this citation; the later verdict is shown and the citation is queued for review.
- 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¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 2 of 3 citations: 1 supported in part, 1 borderline. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:360aaa6d5427 · see in the full table