Partially additive categories and flow-diagram semantics

DOI10.1016/0021-8693(80)90212-4zbMath0429.68021OpenAlexW1991966579MaRDI QIDQ1137858

Michael A. Arbib, Ernest G. Manes

Publication date: 1980

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(80)90212-4

zbMATH Keywords

monoidspartially additive categoriesflow-diagram semantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (22)

Guard modules ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ On flowchart theories. I. The deterministic case ⋮ Independence of the equational axioms for iteration theories ⋮ Semantics for a quantum programming language by operator algebras ⋮ From probability monads to commutative effectuses ⋮ Total and Partial Computation in Categorical Quantum Foundations ⋮ The equational logic of fixed points ⋮ Coherent differentiation ⋮ Program correctness and matricial iteration theories ⋮ Probabilistic arithmetic. I: Numerical methods for calculating convolutions and dependency bounds ⋮ Unnamed Item ⋮ A class of fuzzy theories ⋮ An algebraic model of synchronous systems ⋮ Effectuses from monads ⋮ Foundations of a theory of synchronous systems ⋮ On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data ⋮ 2-Absorbing Primary Subsemimodules Over Partial Semirings ⋮ Equational logic of circular data type specification ⋮ The Uniformity Principle on Traced Monoidal Categories ⋮ Deterministic and nondeterministic flowchart interpretations ⋮ The inverse semigroup of a sum-ordered semiring

Cites Work

• Scalar and vector iteration
• Matricial theories
• On the algebraic structure of rooted trees
• Symposium on semantics of algorithmic languages
• On a Theorem of R. Jungen
• Finite Continuous Time Markov Chains
• The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
• A Transformation System for Developing Recursive Programs
• Initial Algebra Semantics and Continuous Algebras
• Can programming be liberated from the von Neumann style?
• A Perspective View of Discrete Automata and Their Design
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partially additive categories and flow-diagram semantics