Program algebra for component code

DOI10.1007/PL00003928MaRDI QIDQ1586164zbMATH OpenFDO

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

Publication date 14 November 2000

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/PL00003928

zbMATH Keywords

imperative sequential programmingprojection semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15)

Recommendations

• Program algebra for sequential code
• Program algebra with a jump-shift instruction
• Program algebra with unit instruction operators
• Program algebra and coprogram calculus
• Instruction sequences with indirect jumps

Cited in

(10)

• Program algebra for sequential code
• Program algebra with unit instruction operators
• Combining programs and state machines
• Molecular dynamics
• Synchronous cooperation for explicit multi-threading
• Program algebra and coprogram calculus
• Programming an interpreter using molecular dynamics
• Axioms for behavioural congruence of single-pass instruction sequences
• Instruction sequence processing operators
• Program algebra with a jump-shift instruction

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

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