Program correctness and matricial iteration theories

DOI10.1007/3-540-55511-0_24zbMath1518.68045MaRDI QIDQ6171779

Stephen L. Bloom, Zoltán Ésik

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

On the completeness of propositional Hoare logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursion and iteration in continuous theories: the M-construction
• The inverse semigroup of a sum-ordered semiring
• On flowchart theories. I. The deterministic case
• On flowchart theories. II: The nondeterministic case
• Partially additive categories and flow-diagram semantics
• Matricial theories
• Matrix and matricial iteration theories. I
• Matrix and matricial iteration theories. II
• Predicate Transformer Semantics
• Varieties of Iteration Theories
• Compatible Orderings on the Metric Theory of Trees
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• Vector Iteration in Pointed Iterative Theories
• Soundness and Completeness of an Axiom System for Program Verification
• Floyd-Hoare logic in iteration theories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Semantic models for total correctness and fairness

This page was built for publication: Program correctness and matricial iteration theories