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.

Preview

PDF Download (322kB) | Preview

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