Program logics for sequential higher-order control

DOI10.1007/978-3-642-11623-0_11MaRDI QIDQ3400921zbMATH OpenOpenAlexFDO

Authors Martin Berger

Publication date 28 January 2010

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11623-0_11

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Hoare-style reasoning with (algebraic) continuations
• A Hoare Logic for Call-by-Value Functional Programs
• Logical Reasoning for Higher-Order Functions with Local State
• Automata, Languages and Programming
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control

Cited in

(10)

• Logic control and ``reactive systems: algorithmization and programming
• A Hoare Logic for Call-by-Value Functional Programs
• Logical Reasoning for Higher-Order Functions with Local State
• An observationally complete program logic for imperative higher-order functions
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• scientific article; zbMATH DE number 2064223 (Why is no real title available?)
• Proceedings of the first workshop on control operators and their semantics, COS 2013, Eindhoven, The Netherlands, June 24--25, 2013
• Hoare-style reasoning with (algebraic) continuations
• Logical Reasoning for Higher-Order Functions with Local State
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Program logics for sequential higher-order control

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