Relation-algebraic semantics

DOI10.1016/0304-3975(95)00082-8zbMath0872.68106OpenAlexW2056240511MaRDI QIDQ1350513

Roger D. Maddux

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00082-8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (17)

Stone Relation Algebras ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ Unifying Lazy and Strict Computations ⋮ A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ On Automating the Calculus of Relations ⋮ Completeness of ASM Refinement ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ Completeness of fair ASM refinement ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ Fixpoints for general correctness ⋮ Normal forms for binary relations ⋮ Positive Fork Graph Calculus ⋮ An algebraic framework for minimum spanning tree problems ⋮ Relational Semantics Revisited ⋮ Unnamed Item ⋮ Infinite executions of lazy and strict computations ⋮ Nondeterministic semantics of compound diagrams

Cites Work

• Varieties of relation algebras
• Relational algebraic semantics of deterministic and nondeterministic programs
• Programs as partial graphs. I: Flow equivalence and correctness
• Programs as partial graphs. II: Recursion
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• A lattice-theoretical fixpoint theorem and its applications
• Laws of programming
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Guarded commands, nondeterminacy and formal derivation of programs
• Demonic operators and monotype factors
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relation-algebraic semantics