University of Sussex
Browse
SchwinghammerEtAl_2010_A-Semantic.pdf (314.95 kB)

A semantic foundation for hidden state

Download (314.95 kB)
presentation
posted on 2023-06-08, 14:12 authored by Jan Schwinghammer, Hongseok Yang, Lars Birkedal, Francois Pottier, Bernhard ReusBernhard Reus
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.

History

Publication status

  • Published

Publisher

Springer

Volume

6014

Page range

2-17

Presentation Type

  • paper

Event name

FOSSACS 2010

Event location

Paphos

Event type

conference

Event date

March 20-28, 2010.

Series

Lecture Notes in Computer Science

Department affiliated with

  • Informatics Publications

Full text available

  • Yes

Peer reviewed?

  • Yes

Legacy Posted Date

2013-01-14

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC