A Semantic Foundation for Hidden State
From MaRDI portal
Publication:3557840
DOI10.1007/978-3-642-12032-9_2zbMath1284.68376OpenAlexW1546369567MaRDI QIDQ3557840
Hongseok Yang, Bernhard Reus, François Pottier, Jan Schwinghammer, Lars Birkedal
Publication date: 27 April 2010
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-642-12032-9_2
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Crowfoot: A Verifier for Higher-Order Store Programs ⋮ Symbolic execution proofs for higher order store programs ⋮ Specification patterns for reasoning about recursion through the store ⋮ Realisability semantics of parametric polymorphism, general references and recursive types
This page was built for publication: A Semantic Foundation for Hidden State
