A generic complete dynamic logic for reasoning about purity and effects
From MaRDI portal
Publication:973056
DOI10.1007/S00165-010-0153-4zbMATH Open1209.68084OpenAlexW3013099007WikidataQ130884288 ScholiaQ130884288MaRDI QIDQ973056FDOQ973056
Authors: Till Mossakowski, Lutz Schröder, S. S. Goncharov 
Publication date: 28 May 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-010-0153-4
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Notions of computation and monads
- An axiomatic basis for computer programming
- Hoare logic for Java in Isabelle/HOL
- Coalgebras and monads in the semantics of Java
- Monad-independent Dynamic Logic in HasCasl
- Algebraic Methodology and Software Technology
- Computational types from a logical perspective
- Contracts for higher-order functions
- Algebraic Methodology and Software Technology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Observational purity and encapsulation
- Side effects and aliasing can have simple axiomatic descriptions
- Title not available (Why is that?)
- Algebra and Coalgebra in Computer Science
- Completeness of Global Evaluation Logic
- A generic complete dynamic logic for reasoning about purity and effects
Cited In (5)
- A generic complete dynamic logic for reasoning about purity and effects
- Notions of bidirectional computation and entangled state monads
- A dynamic characterization of the pure logic of relevant implication
- A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
- Observational purity and encapsulation
Uses Software
This page was built for publication: A generic complete dynamic logic for reasoning about purity and effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q973056)
