Locations considered unnecessary

DOI10.1007/BF00264468MaRDI QIDQ1232295zbMATH OpenFDO

Authors James E. Donahue

Publication date 1977

Published in Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(3)

• Semantics of interference control
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• The expressive power of Structural Operational Semantics with explicit assumptions

This page was built for publication: Locations considered unnecessary

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