Sciweavers

FOSSACS
2010
Springer

A Semantic Foundation for Hidden State

14 years 5 months ago
A Semantic Foundation for Hidden State
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order store. Our proof involves solving a non-trivial recursive domain equation, and it helps identify some of the key ingredients for soundness.
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, F
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where FOSSACS
Authors Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
Comments (0)