scientific article; zbMATH DE number 1984270
From MaRDI portal
Publication:4428704
zbMath1023.03025MaRDI QIDQ4428704
Publication date: 22 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial correctness assertionstypecheckingtype calculuspropositional Hoare logictyped Kleene algebratypecast operators
Related Items (8)
The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes ⋮ Typing theorems of omega algebra ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ Algebraic neighbourhood logic ⋮ Completeness for Identity-free Kleene Lattices ⋮ Verification of the correctness of compiler optimization using co-induction ⋮ A coalgebraic approach to Kleene algebra with tests ⋮ Algebraic separation logic
This page was built for publication:
