Instruction sequences for computer science.

MaRDI QIDQ441056zbMATHFDO

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

Publication date 20 August 2012

Published in Atlantis Studies in Computing (Search for Journal in Brave)

zbMATH Keywords

process algebrainstruction sequencesSPISA

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Theory of software (68Nxx) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Instruction sequence processing operators
• On the behaviours produced by instruction sequences under execution
• A theory of computer instructions
• scientific article; zbMATH DE number 1109423
• scientific article; zbMATH DE number 53772

Cited in

(10)

• Quantitative expressiveness of instruction sequence classes for computation on single bit registers
• Instruction sequence processing operators
• Instruction sequences with dynamically instantiated instructions
• Thread extraction for polyadic instruction sequences
• Indirect jumps improve instruction sequence performance
• Instruction selection. Principles, methods, and applications
• The selection of an instruction language
• Instruction sequence faults with formal change justification
• On the behaviours produced by instruction sequences under execution
• A theory of computer instructions

This page was built for publication: Instruction sequences for computer science.

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