Vector Iteration in Pointed Iterative Theories
From MaRDI portal
Publication:3911392
DOI10.1137/0209039zbMath0461.68047OpenAlexW4232114544MaRDI QIDQ3911392
Calvin C. Elgot, Jesse B. Wright, Stephen L. Bloom
Publication date: 1980
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0209039
flowchartsalgebraic iterative theorycomputation semantics iterationiterative theory of labeled trees
Trees (05C05) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of computing (68Q99)
Related Items (25)
THE POWER OF THE GROUP-IDENTITIES FOR ITERATION ⋮ Some quasi-varieties of iteration theories ⋮ On flowchart theories. I. The deterministic case ⋮ On flowchart theories. II: The nondeterministic case ⋮ Independence of the equational axioms for iteration theories ⋮ Equational properties of iteration in algebraically complete categories ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Recursion and corecursion have the same equational logic ⋮ Program correctness and matricial iteration theories ⋮ In memoriam Calvin C. Elgot ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ An algebraic model of synchronous systems ⋮ A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization ⋮ Foundations of a theory of synchronous systems ⋮ A note on guarded theories ⋮ Dagger extension theorem ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Equational logic of circular data type specification ⋮ Group axioms for iteration ⋮ Unique, guarded fixed points in an additive setting ⋮ Calvin C. Elgot (1922-1980) ⋮ Algebras of iteration theories ⋮ Recursion and iteration in continuous theories: the M-construction ⋮ All solutions of a system of recursion equations in infinite trees and other contraction theories
This page was built for publication: Vector Iteration in Pointed Iterative Theories
