Charge! - A Framework for Higher-Order Separation Logic in Coq

Jesper Bengtson; Jonas B. Jensen; Lars Birkedal

doi:10.1007/978-3-642-32347-8_21

Charge! - A Framework for Higher-Order Separation Logic in Coq

Jesper Bengtson
, Jonas B. Jensen
, Lars Birkedal

Programming Logic and Semantics

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

Originalsprog	Engelsk
Titel	Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Forlag	Springer
Publikationsdato	2012
Sider	315-331
ISBN (Trykt)	978-3-642-32346-1
ISBN (Elektronisk)	978-3-642-32347-8
DOI	https://doi.org/10.1007/978-3-642-32347-8_21
Status	Udgivet - 2012
Begivenhed	Interactive Theorem Proving - Princeton, New Jersey, Princeton, USA Varighed: 13 aug. 2012 → 15 aug. 2012 Konferencens nummer: 3 http://itp2012.cs.princeton.edu/

Konference

Konference	Interactive Theorem Proving
Nummer	3
Lokation	Princeton, New Jersey
Land/Område	USA
By	Princeton
Periode	13/08/2012 → 15/08/2012
Internetadresse	http://itp2012.cs.princeton.edu/

Navn	Lecture Notes in Computer Science
Vol/bind	7406

Adgang til dokumentet

10.1007/978-3-642-32347-8_21

http://link.springer.com/chapter/10.1007%2F978-3-642-32347-8_21

Citationsformater

@inproceedings{fa807e19f20448cdadd65e35677e7095,

title = "Charge! - A Framework for Higher-Order Separation Logic in Coq",

author = "Jesper Bengtson and Jensen, \{Jonas B.\} and Lars Birkedal",

year = "2012",

doi = "10.1007/978-3-642-32347-8\_21",

language = "English",

isbn = "978-3-642-32346-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "315--331",

booktitle = "Interactive Theorem Proving",

address = "Germany",

note = "Interactive Theorem Proving , ITP 2012 ; Conference date: 13-08-2012 Through 15-08-2012",

url = "http://itp2012.cs.princeton.edu/",

}

Bengtson, J, Jensen, JB & Birkedal, L 2012, Charge! - A Framework for Higher-Order Separation Logic in Coq. i Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer, Lecture Notes in Computer Science, bind 7406, s. 315-331, Interactive Theorem Proving , Princeton, USA, 13/08/2012. https://doi.org/10.1007/978-3-642-32347-8_21

Charge! - A Framework for Higher-Order Separation Logic in Coq. / Bengtson, Jesper; Jensen, Jonas B.; Birkedal, Lars.
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer, 2012. s. 315-331 (Lecture Notes in Computer Science, Bind 7406).

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

TY - GEN

T1 - Charge! - A Framework for Higher-Order Separation Logic in Coq

AU - Bengtson, Jesper

AU - Jensen, Jonas B.

AU - Birkedal, Lars

N1 - Conference code: 3

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-32347-8_21

DO - 10.1007/978-3-642-32347-8_21

M3 - Article in proceedings

SN - 978-3-642-32346-1

T3 - Lecture Notes in Computer Science

SP - 315

EP - 331

BT - Interactive Theorem Proving

PB - Springer

T2 - Interactive Theorem Proving

Y2 - 13 August 2012 through 15 August 2012

ER -