Logical Reasoning for Higher-Order Functions with Local State

DOI10.2168/LMCS-4(4:2)2008MaRDI QIDQ3623000zbMATH OpenFDO

Authors Nobuko Yoshida, Kohei Honda, Martin Berger

Publication date 29 April 2009

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-4(4:2)2008

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logical Reasoning for Higher-Order Functions with Local State
• Automata, Languages and Programming
• Operational reasoning for functions with local state
• Program logics for sequential higher-order control
• Separation Logic for Higher-Order Store

Cited in

(7)

• A program logic for fresh name generation
• Local local reasoning: a BI-hyperdoctrine for full ground store
• Operational reasoning for functions with local state
• The impact of higher-order state and control effects on local relational reasoning
• An observationally complete program logic for imperative higher-order functions
• The impact of higher-order state and control effects on local relational reasoning
• Logical Reasoning for Higher-Order Functions with Local State

This page was built for publication: Logical Reasoning for Higher-Order Functions with Local State

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