Program algebra for sequential code

DOI10.1016/S1567-8326(02)00018-8zbMath1008.68079WikidataQ114850075 ScholiaQ114850075MaRDI QIDQ1858432

M. E. Loots, Jan A. Bergstra

Publication date: 13 February 2003

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

zbMATH Keywords

program algebraprojection semanticsbehavior extraction

Mathematics Subject Classification ID

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

Related Items (24)

Evaluation Trees for Proposition Algebra ⋮ Execution architectures for program algebra ⋮ Decision problems for pushdown threads ⋮ Inversive meadows and divisive meadows ⋮ Thread algebra for poly-threading ⋮ Thread algebra for strategic interleaving ⋮ Synchronous cooperation for explicit multi-threading ⋮ Denotational semantics for thread algebra ⋮ On the operating unit size of load/store architectures ⋮ Program algebra with a jump-shift instruction ⋮ On the contribution of backward jumps to instruction sequence expressiveness ⋮ On the expressiveness of single-pass instruction sequences ⋮ Simulating Turing machines on Maurer machines ⋮ Straight-line instruction sequence completeness for total calculation on cancellation meadows ⋮ On the complexity of the correctness problem for non-zeroness test instruction sequences ⋮ Instruction sequence processing operators ⋮ A thread calculus with molecular dynamics ⋮ Machine structure oriented control code logic ⋮ Maurer computers for pipelined instruction processing ⋮ Thread algebra for noninterference ⋮ Polarized process algebra with reactive composition ⋮ Program algebra with unit instruction operators ⋮ Combining programs and state machines ⋮ Molecular dynamics

Cites Work

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

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