Thread extraction for polyadic instruction sequences

MaRDI QIDQ4621154zbMATH OpenFDO

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

Publication date 8 February 2019

zbMATH Keywords

basic thread algebrafragmented instruction sequence executionpolyadic instruction sequenceprogram algebra

Mathematics Subject Classification ID

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

Recommendations

• Thread algebra for poly-threading
• On the behaviours produced by instruction sequences under execution
• Instruction sequences with dynamically instantiated instructions
• On the expressiveness of single-pass instruction sequences
• Instruction sequences for computer science.

Cited in

(2)

• Transmission Protocols for Instruction Streams
• Instruction sequences with dynamically instantiated instructions

This page was built for publication: Thread extraction for polyadic instruction sequences

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