On the expressive power of Kleene algebra with domain

DOI10.1016/J.IPL.2015.11.007zbMath1347.68095arXiv1507.07246OpenAlexW1007073359MaRDI QIDQ903368

Georg Struth

Publication date: 5 January 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.07246

zbMATH Keywords

expressive powersemiringsHoare logicprogram correctnessKleene algebras

Mathematics Subject Classification ID

Semirings (16Y60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ On the complexity of Kleene algebra with domain

Cites Work

• Unnamed Item
• Internal axioms for domain semirings
• Algebras of modal operators and partial correctness
• Kleene algebra with domain
• Domain Axioms for a Family of Near-Semirings
• On Hoare logic and Kleene algebra with tests

This page was built for publication: On the expressive power of Kleene algebra with domain