scientific article; zbMATH DE number 1984270

MaRDI QIDQ4428704zbMATH OpenFDO

Authors Dexter Kozen

Publication date 22 September 2003

zbMATH Keywords

partial correctness assertionspropositional Hoare logictype calculustypecast operatorstypecheckingtyped Kleene algebra

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• On Hoare logic and Kleene algebra with tests
• Substructural logic and partial correctness
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 3900131
• Effective Axiomatizations of Hoare Logics

Cited in

(16)

• The \(HOL\) logic extended with quantification over type variables
• Types, tableaus, and Gödel's God
• Typing theorems of omega algebra
• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
• scientific article; zbMATH DE number 4057507 (Why is no real title available?)
• scientific article; zbMATH DE number 2154396 (Why is no real title available?)
• Completeness for identity-free Kleene lattices
• The Hoare logic of deterministic and nondeterministic monadic recursion schemes
• Verification of the correctness of compiler optimization using co-induction
• Algebraic separation logic
• On Hoare logic and Kleene algebra with tests
• Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
• A coalgebraic approach to Kleene algebra with tests
• Algebraic neighbourhood logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428704)