Program algebra over an algebra

DOI10.2478/V10037-012-0037-6MaRDI QIDQ2852174zbMATH OpenOpenAlexFDO

Authors Grzegorz Bancerek

Publication date 8 October 2013

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/v10037-012-0037-6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3936467
• Programs in partial algebras
• scientific article; zbMATH DE number 67020
• Program algebras of recursive functions
• scientific article; zbMATH DE number 3986622

Cites work

• Free term algebras
• Sorting by exchanging
• The Borsuk-Ulam theorem

Cited in

(8)

• Algebraic properties of program integration
• Algebraic approach to algorithmic logic
• Program algebra and coprogram calculus
• Analysis of algorithms: an example of a sort algorithm
• scientific article; zbMATH DE number 3986622 (Why is no real title available?)
• scientific article; zbMATH DE number 177792 (Why is no real title available?)
• scientific article; zbMATH DE number 7779293 (Why is no real title available?)
• Execution architectures for program algebra

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Program algebra over an algebra

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