Nested Hoare Triples and Frame Rules for Higher-order Store

Jan Schwinghammer; Lars Birkedal; Bernhard Reus; Hongseok Yang

doi:10.1007/978-3-642-04027-6_32

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 › Research › peer-review

Original language	English
Title of host publication	Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Number of pages	454
Publisher	Springer
Publication date	2009
Pages	440
ISBN (Print)	978-3-642-04026-9
DOIs	https://doi.org/10.1007/978-3-642-04027-6_32
Publication status	Published - 2009
Event	19th EACSL Annual Conference on Computer Science Logic - Masaryk University, Brno, Czech Republic Duration: 23 Aug 2010 → 27 Aug 2010 Conference number: 19 http://mfcsl2010.fi.muni.cz/csl

Conference

Conference	19th EACSL Annual Conference on Computer Science Logic
Number	19
Location	Masaryk University
Country/Territory	Czech Republic
City	Brno
Period	23/08/2010 → 27/08/2010
Internet address	http://mfcsl2010.fi.muni.cz/csl

Series	Lecture Notes in Computer Science
Number	5771

Access to Document

10.1007/978-3-642-04027-6_32

Cite this

Schwinghammer, J., Birkedal, L., Reus, B., & Yang, H. (2009). Nested Hoare Triples and Frame Rules for Higher-order Store. In Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings (pp. 440). Springer. https://doi.org/10.1007/978-3-642-04027-6_32

Schwinghammer, Jan ; Birkedal, Lars ; Reus, Bernhard et al. / Nested Hoare Triples and Frame Rules for Higher-order Store. Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Springer, 2009. pp. 440 (Lecture Notes in Computer Science; No. 5771).

@inproceedings{86de0940da0a11deb0f9000ea68e967b,

title = "Nested Hoare Triples and Frame Rules for Higher-order Store",

author = "Jan Schwinghammer and Lars Birkedal and Bernhard Reus and Hongseok Yang",

year = "2009",

doi = "10.1007/978-3-642-04027-6_32",

language = "English",

isbn = "978-3-642-04026-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5771",

pages = "440",

booktitle = "Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings",

address = "Germany",

note = "19th EACSL Annual Conference on Computer Science Logic, CSL 2010 ; Conference date: 23-08-2010 Through 27-08-2010",

url = "http://mfcsl2010.fi.muni.cz/csl",

}

Schwinghammer, J, Birkedal, L, Reus, B & Yang, H 2009, Nested Hoare Triples and Frame Rules for Higher-order Store. in Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Springer, Lecture Notes in Computer Science, no. 5771, pp. 440, 19th EACSL Annual Conference on Computer Science Logic, Brno, Czech Republic, 23/08/2010. https://doi.org/10.1007/978-3-642-04027-6_32

Nested Hoare Triples and Frame Rules for Higher-order Store. / Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard et al.
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Springer, 2009. p. 440 (Lecture Notes in Computer Science; No. 5771).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Nested Hoare Triples and Frame Rules for Higher-order Store

AU - Schwinghammer, Jan

AU - Birkedal, Lars

AU - Reus, Bernhard

AU - Yang, Hongseok

N1 - Conference code: 19

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04027-6_32

DO - 10.1007/978-3-642-04027-6_32

M3 - Article in proceedings

SN - 978-3-642-04026-9

T3 - Lecture Notes in Computer Science

SP - 440

BT - Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

PB - Springer

T2 - 19th EACSL Annual Conference on Computer Science Logic

Y2 - 23 August 2010 through 27 August 2010

ER -

Schwinghammer J, Birkedal L, Reus B, Yang H. Nested Hoare Triples and Frame Rules for Higher-order Store. In Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Springer. 2009. p. 440. (Lecture Notes in Computer Science; No. 5771). doi: 10.1007/978-3-642-04027-6_32