Tools
Schwinghammer, Jan, Yang, Hongseok, Birkedal, Lars, Pottier, Francois and Reus, Bernhard (2010) A semantic foundation for hidden state. In: FOSSACS 2010, March 20-28, 2010., Paphos.
![]()
|
PDF
Download (322kB) | Preview |
Official URL: http://www.sciweavers.org/publications/semantic-fo...
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.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Schools and Departments: | School of Engineering and Informatics > Informatics |
Subjects: | Q Science > QA Mathematics > QA0075 Electronic computers. Computer science |
Depositing User: | Bernhard Reus |
Date Deposited: | 14 Jan 2013 10:30 |
Last Modified: | 14 Jan 2013 10:32 |
URI: | http://sro.sussex.ac.uk/id/eprint/43451 |
View download statistics for this item
📧 Request an update