Program algebra and coprogram calculus

zbMATH Open0995.68026MaRDI QIDQ2752047FDOQ2752047

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

Publication date: 21 October 2001

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

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)

Cited In (12)

• Goto elimination in program algebra
• Program algebra with unit instruction operators
• Computer aided fusion for algebraic program derivation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program algebra for component code
• Program algebra for sequential code
• Program algebras of recursive functions
• Title not available (Why is that?)
• Execution architectures for program algebra
• Title not available (Why is that?)
• Title not available (Why is that?)

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)