Partially defined computer instructions and guards
From MaRDI portal
Recommendations
- A Theory of Computer Instructions
- A theory of computer instructions
- Computing protected circumscription
- scientific article; zbMATH DE number 2087916
- Secure guarded commands
- Guarded operations, refinement and simulation
- Reasoning About Incompletely Defined Programs
- On the behaviours produced by instruction sequences under execution
- Codifying guarded definitions with recursive schemes
Cited in
(2)
This page was built for publication: Partially defined computer instructions and guards
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q941470)