Logical Reasoning for Higher-Order Functions with Local State
From MaRDI portal
Publication:3623000
DOI10.2168/LMCS-4(4:2)2008zbMath1161.68031MaRDI QIDQ3623000
Kohei Honda, Martin Berger, Nobuko Yoshida
Publication date: 29 April 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
The impact of higher-order state and control effects on local relational reasoning ⋮ A program logic for fresh name generation ⋮ An observationally complete program logic for imperative higher-order functions
This page was built for publication: Logical Reasoning for Higher-Order Functions with Local State
