Instruction sequences with indirect jumps

MaRDI QIDQ3185842zbMATH OpenFDO

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

Publication date 5 August 2016

zbMATH Keywords

instruction sequencesindirect jumps

Mathematics Subject Classification ID

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

Recommendations

• Indirect jumps improve instruction sequence performance
• Instruction sequences with dynamically instantiated instructions
• On the contribution of backward jumps to instruction sequence expressiveness
• Program algebra with a jump-shift instruction
• Program algebra for sequential code

Cited in

(7)

• On the contribution of backward jumps to instruction sequence expressiveness
• On the expressiveness of single-pass instruction sequences
• Program algebra with a jump-shift instruction
• Instruction sequences with dynamically instantiated instructions
• Program algebra for component code
• Indirect jumps improve instruction sequence performance
• Thread algebra for poly-threading

This page was built for publication: Instruction sequences with indirect jumps

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