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)

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

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)