Aarhus University Seal / Aarhus Universitets segl

Nested Hoare Triples and Frame Rules for Higher-Order Store

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Standard

Nested Hoare Triples and Frame Rules for Higher-Order Store. / Schwinghammer, Jan; Birkedal, Lars; Reus, Bernhard; Yang, Hongseok.

In: Logical Methods in Computer Science, Vol. 7, No. 3:21, 2011, p. 440-454.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Harvard

Schwinghammer, J, Birkedal, L, Reus, B & Yang, H 2011, 'Nested Hoare Triples and Frame Rules for Higher-Order Store', Logical Methods in Computer Science, vol. 7, no. 3:21, pp. 440-454. https://doi.org/10.2168/LMCS-7(3:21)2011

APA

Schwinghammer, J., Birkedal, L., Reus, B., & Yang, H. (2011). Nested Hoare Triples and Frame Rules for Higher-Order Store. Logical Methods in Computer Science, 7(3:21), 440-454. https://doi.org/10.2168/LMCS-7(3:21)2011

CBE

Schwinghammer J, Birkedal L, Reus B, Yang H. 2011. Nested Hoare Triples and Frame Rules for Higher-Order Store. Logical Methods in Computer Science. 7(3:21):440-454. https://doi.org/10.2168/LMCS-7(3:21)2011

MLA

Schwinghammer, Jan et al. "Nested Hoare Triples and Frame Rules for Higher-Order Store". Logical Methods in Computer Science. 2011, 7(3:21). 440-454. https://doi.org/10.2168/LMCS-7(3:21)2011

Vancouver

Schwinghammer J, Birkedal L, Reus B, Yang H. Nested Hoare Triples and Frame Rules for Higher-Order Store. Logical Methods in Computer Science. 2011;7(3:21):440-454. https://doi.org/10.2168/LMCS-7(3:21)2011

Author

Schwinghammer, Jan ; Birkedal, Lars ; Reus, Bernhard ; Yang, Hongseok. / Nested Hoare Triples and Frame Rules for Higher-Order Store. In: Logical Methods in Computer Science. 2011 ; Vol. 7, No. 3:21. pp. 440-454.

Bibtex

@inproceedings{b62db152a7e74c09bc74a2536cf267a9,
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",
doi = "10.2168/LMCS-7(3:21)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",

}

RIS

TY - GEN

T1 - Nested Hoare Triples and Frame Rules for Higher-Order Store

AU - Schwinghammer, Jan

AU - Birkedal, Lars

AU - Reus, Bernhard

AU - Yang, Hongseok

PY - 2011

Y1 - 2011

U2 - 10.2168/LMCS-7(3:21)2011

DO - 10.2168/LMCS-7(3:21)2011

M3 - Conference article

VL - 7

SP - 440

EP - 454

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 3:21

ER -