scientific article; zbMATH DE number 3690663

MaRDI QIDQ3885170zbMATH OpenFDO

Authors Ernest G. Manes

Publication date 1979

zbMATH Keywords

abstract recursion schemes in partially-additive monoidscorrectnessleast fixpoint semanticspartially-additive categoriespartially-additive semanticsrecursive callssimple iterative program

Mathematics Subject Classification ID

Categorical structures (18D99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Varieties of chain-complete algebras
• Semantics of algorithmic languages

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 Q3885170)