Program algebra and coprogram calculus

MaRDI QIDQ2752047zbMATH OpenFDO

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

Publication date 21 October 2001

zbMATH Keywords

PGLD

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Program algebra for sequential code
• Program algebra for component code
• scientific article; zbMATH DE number 3936467
• Program algebra with unit instruction operators
• Program algebra over an algebra

Cited in

(12)

• Goto elimination in program algebra
• Program algebra with unit instruction operators
• Computer aided fusion for algebraic program derivation
• scientific article; zbMATH DE number 3885887 (Why is no real title available?)
• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• Program algebra for component code
• Program algebra for sequential code
• Program algebras of recursive functions
• scientific article; zbMATH DE number 1390330 (Why is no real title available?)
• Execution architectures for program algebra
• scientific article; zbMATH DE number 7779293 (Why is no real title available?)
• scientific article; zbMATH DE number 2087344 (Why is no real title available?)

This page was built for publication: Program algebra and coprogram calculus

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