scientific article; zbMATH DE number 17530

MaRDI QIDQ3974854zbMATH OpenFDO

Authors Stephen L. Bloom

Publication date 26 June 1992

zbMATH Keywords

algebraic analysis of flowchart algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational categories (18C05)

Recommendations

• scientific article; zbMATH DE number 233974
• Equational reasoning about nondeterministic processes
• Algebra and Coalgebra in Computer Science
• Equational logic as a tool
• Elgot theories: a new perspective on the equational properties of iteration
• Algebraic Methodology and Software Technology
• The equational logic of fixed points
• An equational approach to logic programming
• Publication:3204446

Cited in

(4)

• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• On Programming by Iterations
• Equational reasoning about nondeterministic processes
• Algebraic Methodology and Software Technology

This page was built for publication:

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