Recursion and iteration in continuous theories: the M-construction

DOI10.1016/0022-0000(83)90037-5zbMath0534.18003OpenAlexW2031167121MaRDI QIDQ790235

Eric G. Wagner, James W. Thatcher, Stephen L. Bloom, Jesse B. Wright

Publication date: 1983

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(83)90037-5

zbMATH Keywords

continuous algebraic theoryM-constructionsystems of recursive equations

Mathematics Subject Classification ID

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

Related Items

On flowchart theories. II: The nondeterministic case, The equational logic of fixed points, Program correctness and matricial iteration theories, Axiomatizing weighted synchronization trees and weighted bisimilarity, Equational logic of circular data type specification, A Mezei-Wright theorem for categorical algebras, Algebras, polynomials and programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence and construction of free iterative theories
• Varieties of ordered algebras
• Scalar and vector iteration
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• Vector Iteration in Pointed Iterative Theories
• Initial Algebra Semantics and Continuous Algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES