Nested Hoare Triples and Frame Rules for Higher-Order Store

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

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

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	7
Udgave nummer	3:21
Sider (fra-til)	440-454
ISSN	1860-5974
Status	Udgivet - 2011

Citationsformater

@inproceedings{011d196964464b488f77cfbb406d00c2,

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

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

year = "2011",

language = "English",

volume = "7",

pages = "440--454",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "3:21",

}