Modular verification of linked lists with views via separation logic

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

  • Jonas Braband Jensen, IT University of Copenhagen, Denmark
  • Lars Birkedal
  • Peter Sestoft, IT University of Copenhagen, Denmark


Original languageEnglish
Title of host publication FTFJP '10. Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
Number of pages8
PublisherAssociation for Computing Machinery
Publication year1 Dec 2010
Article number4
ISBN (print)9781450305402
DOIs
Publication statusPublished - 1 Dec 2010
Externally publishedYes
EventWorkshop on Formal Techniques for Java-Like Programs - Maribor, Slovenia
Duration: 21 Jun 201025 Jun 2010
Conference number: 12

Workshop

WorkshopWorkshop on Formal Techniques for Java-Like Programs
Nummer12
LandSlovenia
ByMaribor
Periode21/06/201025/06/2010

    Research areas

  • Formal verification, Modularity, Separation logic

See relations at Aarhus University Citationformats

ID: 81388620