Aarhus University Seal / Aarhus Universitets segl

Modular verification of linked lists with views via separation logic

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

Standard

Modular verification of linked lists with views via separation logic. / Jensen, Jonas Braband; Birkedal, Lars; Sestoft, Peter.

FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. Association for Computing Machinery, 2010. 4.

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

Harvard

Jensen, JB, Birkedal, L & Sestoft, P 2010, Modular verification of linked lists with views via separation logic. in FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs., 4, Association for Computing Machinery, Workshop on Formal Techniques for Java-Like Programs, Maribor, Slovenia, 21/06/2010. https://doi.org/10.1145/1924520.1924524

APA

Jensen, J. B., Birkedal, L., & Sestoft, P. (2010). Modular verification of linked lists with views via separation logic. In FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs [4] Association for Computing Machinery. https://doi.org/10.1145/1924520.1924524

CBE

Jensen JB, Birkedal L, Sestoft P. 2010. Modular verification of linked lists with views via separation logic. In FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. Association for Computing Machinery. Article 4. https://doi.org/10.1145/1924520.1924524

MLA

Jensen, Jonas Braband, Lars Birkedal and Peter Sestoft "Modular verification of linked lists with views via separation logic". FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. Association for Computing Machinery. 2010. https://doi.org/10.1145/1924520.1924524

Vancouver

Jensen JB, Birkedal L, Sestoft P. Modular verification of linked lists with views via separation logic. In FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. Association for Computing Machinery. 2010. 4 https://doi.org/10.1145/1924520.1924524

Author

Jensen, Jonas Braband ; Birkedal, Lars ; Sestoft, Peter. / Modular verification of linked lists with views via separation logic. FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. Association for Computing Machinery, 2010.

Bibtex

@inproceedings{248586e008c54fd3a0e39c5fbe21aebb,
title = "Modular verification of linked lists with views via separation logic",
keywords = "Formal verification, Modularity, Separation logic",
author = "Jensen, {Jonas Braband} and Lars Birkedal and Peter Sestoft",
note = "Part of ECCOP 2010.; null ; Conference date: 21-06-2010 Through 25-06-2010",
year = "2010",
month = dec,
day = "1",
doi = "10.1145/1924520.1924524",
language = "English",
isbn = "9781450305402",
booktitle = "FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs",
publisher = "Association for Computing Machinery",
address = "United States",

}

RIS

TY - GEN

T1 - Modular verification of linked lists with views via separation logic

AU - Jensen, Jonas Braband

AU - Birkedal, Lars

AU - Sestoft, Peter

N1 - Conference code: 12

PY - 2010/12/1

Y1 - 2010/12/1

KW - Formal verification

KW - Modularity

KW - Separation logic

U2 - 10.1145/1924520.1924524

DO - 10.1145/1924520.1924524

M3 - Article in proceedings

AN - SCOPUS:79957992985

SN - 9781450305402

BT - FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

PB - Association for Computing Machinery

Y2 - 21 June 2010 through 25 June 2010

ER -