Relation-algebraic semantics
From MaRDI portal
Publication:1350513
DOI10.1016/0304-3975(95)00082-8zbMath0872.68106OpenAlexW2056240511MaRDI QIDQ1350513
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
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