Nested Hoare Triples and Frame Rules for Higher-order Store
- Jan Schwinghammer,
- Lars Birkedal,
- Bernhard Reus,
- Hongseok Yang
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 440 (454 pages)Publication milestones
- Published - 2009
Publication status
Published - 2009
Publisher
Springer, United States, GermanyBook series
- Book series name: Lecture Notes in Computer Science
Series number: 5771
ISBN (Print)
978-3-642-04026-9Publication IDs
- Scopus: 70350417641
Host publication title
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. ProceedingsPublication metrics
PlumX, opens in new tab
Captures
12
Citations
37
Access to documents
Related Event
Title
19th EACSL Annual Conference on Computer Science Logic
Event type
ConferenceDate
23/08/2010 - 27/08/2010Location
Masaryk UniversityBrnoCzech Republic