On the expressiveness of single-pass instruction sequences
From MaRDI portal
Publication:692925
DOI10.1007/S00224-010-9301-8zbMATH Open1278.68032OpenAlexW2124067458MaRDI QIDQ692925FDOQ692925
Authors: J. A. Bergstra, C. A. Middelburg 
Publication date: 6 December 2012
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-010-9301-8
Recommendations
- Quantitative expressiveness of instruction sequence classes for computation on single bit registers
- Program algebra with a jump-shift instruction
- On the contribution of backward jumps to instruction sequence expressiveness
- Axioms for behavioural congruence of single-pass instruction sequences
- A short introduction to program algebra with instructions for Boolean registers
Mathematical problems of computer architecture (68M07) Abstract data types; algebraic specification (68Q65)
Cites Work
- Two Complete Axiom Systems for the Algebra of Regular Events
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- On Hoare logic and Kleene algebra with tests
- Program algebra for sequential code
- Logical Approaches to Computational Barriers
- Instruction sequences with indirect jumps
- Execution architectures for program algebra
- Synchronous cooperation for explicit multi-threading
- Transmission Protocols for Instruction Streams
- Instruction sequences with dynamically instantiated instructions
- Maurer computers for pipelined instruction processing
- Describing data flow analysis techniques with Kleene algebra
- Program algebra with a jump-shift instruction
Cited In (7)
- Quantitative expressiveness of instruction sequence classes for computation on single bit registers
- On the contribution of backward jumps to instruction sequence expressiveness
- Axioms for behavioural congruence of single-pass instruction sequences
- Instruction sequence processing operators
- On the behaviours produced by instruction sequences under execution
- Thread extraction for polyadic instruction sequences
- Transmission Protocols for Instruction Streams
This page was built for publication: On the expressiveness of single-pass instruction sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692925)
