Nested Hoare Triples and Frame Rules for Higher-Order Store

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Journal	Logical Methods in Computer Science
Volume	7
Issue number	3:21
Pages (from-to)	440-454
ISSN	1860-5974
Publication status	Published - 2011

Cite this

@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",

}