Two for the Price of One: Lifting Separation Logic Assertions.

Jacob Junker Thamsborg, Lars Birkedal, Hongseok Yang

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	8
Udgave nummer	3
ISSN	1860-5974
Status	Udgivet - 2012

Citationsformater

@article{ec3fa241201c4962a636c3680bcace37,

title = "Two for the Price of One: Lifting Separation Logic Assertions.",

author = "Thamsborg, {Jacob Junker} and Lars Birkedal and Hongseok Yang",

year = "2012",

language = "English",

volume = "8",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "3",

}