Instruction sequences with dynamically instantiated instructions

DOI10.3233/FI-2009-165zbMATH Open1200.68069OpenAlexW2119689913MaRDI QIDQ3400528FDOQ3400528

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

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

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)

Cited In (6)

• On the expressiveness of single-pass instruction sequences
• Program algebra with a jump-shift instruction
• On the behaviours produced by instruction sequences under execution
• Thread extraction for polyadic instruction sequences
• Transmission Protocols for Instruction Streams
• 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)