Program algebra for sequential code

DOI10.1016/S1567-8326(02)00018-8MaRDI QIDQ1858432zbMATH OpenWikidataFDO

Authors M. E. Loots, J. A. Bergstra

Publication date 13 February 2003

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1567-8326(02)00018-8

zbMATH Keywords

behavior extractionprogram algebraprojection semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Program algebra for component code
• Program algebra with a jump-shift instruction
• Program algebra with unit instruction operators
• Program algebra and coprogram calculus
• Laws of programming

Cites work

• Axiomatizations for the perpetual loop in process algebra
• Laws of programming
• Process algebra for synchronous communication
• Program algebra for component code

Cited in

(33)

• Program algebra for component code
• Program algebra with unit instruction operators
• Combining programs and state machines
• Molecular dynamics
• On the complexity of the correctness problem for non-zeroness test instruction sequences
• Thread algebra for strategic interleaving
• Synchronous cooperation for explicit multi-threading
• Denotational semantics for thread algebra
• Simulating Turing machines on Maurer machines
• Polarized process algebra with reactive composition
• Program algebra and coprogram calculus
• Instruction sequences with indirect jumps
• Programming an interpreter using molecular dynamics
• Evaluation trees for proposition algebra
• On the operating unit size of load/store architectures
• Thread algebra for noninterference
• Inversive meadows and divisive meadows
• SequenceL provides a different way to view programming
• An instruction sequence semigroup with involutive anti-automorphisms
• Axioms for behavioural congruence of single-pass instruction sequences
• Program algebra for Turing-machine programs
• scientific article; zbMATH DE number 3894446 (Why is no real title available?)
• Straight-line instruction sequence completeness for total calculation on cancellation meadows
• Maurer computers for pipelined instruction processing
• Thread algebra for poly-threading
• On the contribution of backward jumps to instruction sequence expressiveness
• On the expressiveness of single-pass instruction sequences
• Instruction sequence processing operators
• Machine structure oriented control code logic
• Execution architectures for program algebra
• Decision problems for pushdown threads
• Program algebra with a jump-shift instruction
• A thread calculus with molecular dynamics

This page was built for publication: Program algebra for sequential code

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