Completeness of Global Evaluation Logic

DOI10.1007/11821069_39MaRDI QIDQ5756704zbMATH OpenOpenAlexFDO

Authors Lutz Schröder, Till Mossakowski, S. S. Goncharov

Publication date 5 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11821069_39

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
• Monad-independent Dynamic Logic in HasCasl
• Monad-independent dynamic logic in HasCasl.
• Generic Hoare logic for order-enriched effects with exceptions
• scientific article; zbMATH DE number 742723

Cited in

(3)

• HasCasl: integrated higher-order specification and program development
• scientific article; zbMATH DE number 742723 (Why is no real title available?)
• A generic complete dynamic logic for reasoning about purity and effects

This page was built for publication: Completeness of Global Evaluation Logic

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