Programming semantics for multiprogrammed computations

DOI10.1145/365230.365252MaRDI QIDQ5514828zbMATH OpenOpenAlexFDO

Authors Jack B. Dennis, E. C. van Horn

Publication date 1966

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/365230.365252

zbMATH Keywords

numerical analysis

Cited in

(13)

• Abstrakte Modelle zur Untersuchung von sicheren Systemen
• Implications of series-parallel sequencing rules
• A survey of concurrent object-oriented languages
• Developing WWW-based highly interactive and collaborative applications using software components
• A general approach to nonlinear FE compuations on shared-memory multiprocessors
• Cerise: program verification on a capability machine in the presence of untrusted code
• DCapBAC: embedding authorization logic into smart things through ECC optimizations
• seL4 enforces integrity
• Operating system verification---an overview
• Holistic Specifications for Robust Programs
• Boltzmann machines as a model for parallel annealing
• From a proven correct microkernel to trustworthy large systems
• StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities

This page was built for publication: Programming semantics for multiprogrammed computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5514828)