On the expressiveness of single-pass instruction sequences
type: Item
instance of: scholarly article
title: On the expressiveness of single-pass instruction sequences
zbMATH Open document ID: 1278.68032
author: J. A. Bergstra
author: C. A. Middelburg
published in: Theory of Computing Systems
publication date: 2012-12-06T00:00:00Z
Mathematics Subject Classification ID: 68M07
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6113541
zbMATH Keywords: single-pass instruction sequence
zbMATH Keywords: regular thread
zbMATH Keywords: expressiveness
zbMATH Keywords: jump-free instruction sequence
MaRDI profile type: Publication
full work available at URL: s00224-010-9301-8
OpenAlex ID: W2124067458
cites work: Program algebra for sequential code
cites work: Q3185842
cites work: Synchronous cooperation for explicit multi-threading
cites work: Program algebra with a jump-shift instruction
cites work: Maurer computers for pipelined instruction processing
cites work: Transmission Protocols for Instruction Streams
cites work: Instruction Sequences with Dynamically Instantiated Instructions
cites work: Execution architectures for program algebra
cites work: Describing data flow analysis techniques with Kleene algebra
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Q4362921
cites work: On Hoare logic and Kleene algebra with tests
cites work: Logical Approaches to Computational Barriers
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
DOI: 10.1007/S00224-010-9301-8
description: scientific article; zbMATH DE number 6113541