Putting Instruction Sequences into Effect

2011/10/09 by J.A. Bergstra, Bergstra, Jan A. · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques

paper · pdf · doi:10.48550/arxiv.1110.1866

openalex publication_date 2011/10/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01

Abstract

An attempt is made to define the concept of execution of an instruction sequence. It is found to be a special case of directly putting into effect of an instruction sequence. Directly putting into effect of an instruction sequences comprises interpretation as well as execution. Directly putting into effect is a special case of putting into effect with other special cases classified as indirectly putting into effect.

Citations

• Searching publications on operating systems
• Searching publications on software testing
• A progression ring for interfaces of instruction sequences, threads, and services
• Instruction sequences and non-uniform complexity theory
• Autosolvability of halting problem instances for instruction sequences
• On the contribution of backward jumps to instruction sequence\n expressiveness

Cited by

• Turing Impossibility Properties for Stack Machine Programming

Related

• Four Conceptions of Instruction Sequence Faults
• Execution traces and reduction sequences
• A protocol for instruction stream processing
• Steering Fragments of Instruction Sequences
• Expressiveness and Extensions of an Instruction Sequence Semigroup