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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Antal sider	454
Forlag	Springer
Publikationsdato	2009
Sider	440
ISBN (Trykt)	978-3-642-04026-9
DOI	https://doi.org/10.1007/978-3-642-04027-6_32
Status	Udgivet - 2009
Begivenhed	Computer Science Logic - Masaryk University, Brno, Tjekkiet Varighed: 23 aug. 2010 → 27 aug. 2010 Konferencens nummer: 19 http://mfcsl2010.fi.muni.cz/csl

Konference

Konference	Computer Science Logic
Nummer	19
Lokation	Masaryk University
Land/Område	Tjekkiet
By	Brno
Periode	23/08/2010 → 27/08/2010
Internetadresse	http://mfcsl2010.fi.muni.cz/csl

Navn	Lecture Notes in Computer Science
Nummer	5771

Adgang til dokumentet

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

Citationsformater

Schwinghammer, J., Birkedal, L., Reus, B., & Yang, H. (2009). Nested Hoare Triples and Frame Rules for Higher-order Store. I Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings (s. 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. s. 440 (Lecture Notes in Computer Science; Nr. 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. i 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, nr. 5771, s. 440, Computer Science Logic, Brno, Tjekkiet, 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. s. 440 (Lecture Notes in Computer Science; Nr. 5771).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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. I Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Springer. 2009. s. 440. (Lecture Notes in Computer Science; Nr. 5771). doi: 10.1007/978-3-642-04027-6_32