SchwinghammerEtAl_2010_A-Semantic.pdf (314.95 kB)
A semantic foundation for hidden state
presentation
posted on 2023-06-08, 14:12 authored by Jan Schwinghammer, Hongseok Yang, Lars Birkedal, Francois Pottier, Bernhard ReusBernhard ReusWe 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
SpringerVolume
6014Page range
2-17Presentation Type
- paper
Event name
FOSSACS 2010Event location
PaphosEvent type
conferenceEvent date
March 20-28, 2010.Series
Lecture Notes in Computer ScienceDepartment affiliated with
- Informatics Publications
Full text available
- Yes
Peer reviewed?
- Yes
Legacy Posted Date
2013-01-14Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC