On flowchart theories. I. The deterministic case
From MaRDI portal
Publication:1093364
DOI10.1016/0022-0000(87)90011-0zbMath0628.68018OpenAlexW2060903041MaRDI QIDQ1093364
Publication date: 1987
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(87)90011-0
Related Items
Feedback, trace and fixed-point semantics ⋮ Some quasi-varieties of iteration theories ⋮ Matrix and matricial iteration theories. I ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ Bisimulation is two-way simulation ⋮ Processes with multiple entries and exits ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Program correctness and matricial iteration theories ⋮ 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 ⋮ The algebra of stream processing functions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebras of iteration theories
- Deterministic and nondeterministic flowchart interpretations
- Fundamental properties of infinite trees
- On context-free trees
- Independence of the equational axioms for iteration theories
- Partially additive categories and flow-diagram semantics
- Regular trees and the free iterative theory
- Analysis of structured programs
- The existence and construction of free iterative theories
- Theory of program structures: Schemes, semantics, verification
- On the algebraic structure of rooted trees
- Axiomatizing schemes and their behaviors
- Notes on avoiding ``go to statements
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Vector Iteration in Pointed Iterative Theories
- Initial Algebra Semantics and Continuous Algebras
- Can programming be liberated from the von Neumann style?
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- A Perspective View of Discrete Automata and Their Design
