Logical Reasoning for Higher-Order Functions with Local State
From MaRDI portal
Publication:5758044
DOI10.1007/978-3-540-71389-0_26zbMath1195.68032OpenAlexW1827297117MaRDI QIDQ5758044
Nobuko Yoshida, Martin Berger, Kohei Honda
Publication date: 7 September 2007
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_26
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Weak updates and separation logic
This page was built for publication: Logical Reasoning for Higher-Order Functions with Local State