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

Jesper Bengtson
,
Jonas B. Jensen
,
Lars Birkedal

Programming Logic and Semantics

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-review

Host publication Subtitle

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Original language

English

Pages from-to (Number of pages)

Pages 315-331

Publication milestones

Published - 2012

Publication status

Published - 2012

Publisher

Springer, United States, Germany

Book series

Book series name: Lecture Notes in Computer Science
Volume: 7406

ISBN (Print)

978-3-642-32346-1

ISBN (Electronic)

978-3-642-32347-8

Publication IDs

Scopus: 84865594990

Host publication title

Interactive Theorem Proving

Publication metrics

PlumX, opens in new tab

Captures

Citations

Access to documents

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

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

Related Event

Title