Program algebra for component code

DOI10.1007/PL00003928zbMath0964.68509MaRDI QIDQ1586164

M. E. Loots, Jan 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

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

Related Items (6)

Synchronous cooperation for explicit multi-threading ⋮ Instruction sequence processing operators ⋮ Program algebra for sequential code ⋮ Program algebra with unit instruction operators ⋮ Combining programs and state machines ⋮ Molecular dynamics

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