Instruction sequences with dynamically instantiated instructions

DOI10.3233/FI-2009-165MaRDI QIDQ3400528zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, C. A. Middelburg

Publication date 5 February 2010

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2009-165

zbMATH Keywords

program algebrathread algebrainstruction sequenceprojection semanticsaction transforming use mechanismdynamically instantiated instruction

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Instruction sequences with indirect jumps
• On the behaviours produced by instruction sequences under execution
• Instruction sequences for computer science.
• Thread extraction for polyadic instruction sequences
• On the contribution of backward jumps to instruction sequence expressiveness

Cited in

(6)

• Thread extraction for polyadic instruction sequences
• Program algebra with a jump-shift instruction
• On the expressiveness of single-pass instruction sequences
• Transmission Protocols for Instruction Streams
• On the behaviours produced by instruction sequences under execution
• Instruction sequences with indirect jumps

This page was built for publication: Instruction sequences with dynamically instantiated instructions

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