Semantics of Separation-logic Typing and Higher-order Frame Rules

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Standard

Semantics of Separation-logic Typing and Higher-order Frame Rules. / Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok.

20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings. IEEE, 2005. p. 260-269.

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Harvard

Birkedal, L, Torp-Smith, N & Yang, H 2005, Semantics of Separation-logic Typing and Higher-order Frame Rules. in 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings. IEEE, pp. 260-269. https://doi.org/10.1109/LICS.2005.47

APA

Birkedal, L., Torp-Smith, N., & Yang, H. (2005). Semantics of Separation-logic Typing and Higher-order Frame Rules. In 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings (pp. 260-269). IEEE. https://doi.org/10.1109/LICS.2005.47

CBE

Birkedal L, Torp-Smith N, Yang H. 2005. Semantics of Separation-logic Typing and Higher-order Frame Rules. In 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings. IEEE. pp. 260-269. https://doi.org/10.1109/LICS.2005.47

MLA

Birkedal, Lars, Noah Torp-Smith and Hongseok Yang "Semantics of Separation-logic Typing and Higher-order Frame Rules". 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings. IEEE. 2005, 260-269. https://doi.org/10.1109/LICS.2005.47

Vancouver

Birkedal L, Torp-Smith N, Yang H. Semantics of Separation-logic Typing and Higher-order Frame Rules. In 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings. IEEE. 2005. p. 260-269 https://doi.org/10.1109/LICS.2005.47

Author

Birkedal, Lars ; Torp-Smith, Noah ; Yang, Hongseok. / Semantics of Separation-logic Typing and Higher-order Frame Rules. 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings. IEEE, 2005. pp. 260-269

Bibtex

@inproceedings{36764c3ca21946eebed5849fee83376a,
title = "Semantics of Separation-logic Typing and Higher-order Frame Rules",
author = "Lars Birkedal and Noah Torp-Smith and Hongseok Yang",
year = "2005",
month = oct,
day = "25",
doi = "10.1109/LICS.2005.47",
language = "English",
isbn = "0769522661",
pages = "260--269",
booktitle = "20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - Semantics of Separation-logic Typing and Higher-order Frame Rules

AU - Birkedal, Lars

AU - Torp-Smith, Noah

AU - Yang, Hongseok

PY - 2005/10/25

Y1 - 2005/10/25

U2 - 10.1109/LICS.2005.47

DO - 10.1109/LICS.2005.47

M3 - Article in proceedings

AN - SCOPUS:26844441139

SN - 0769522661

SP - 260

EP - 269

BT - 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings

PB - IEEE

ER -