Hoare Logic for Higher Order Store Using Simple Semantics

DOI10.1007/978-3-642-20920-8_10zbMath1326.68085OpenAlexW1517654114MaRDI QIDQ3003346

Nathaniel Charlton

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_10

zbMATH Keywords

Hoare logichigher-order storemodular proof

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Specification patterns for reasoning about recursion through the store

This page was built for publication: Hoare Logic for Higher Order Store Using Simple Semantics