Aarhus University Seal / Aarhus Universitets segl

Relational parametricity and separation logic

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

  • Lars Birkedal
  • Hongseok Yang, Queen Mary, University of London, United Kingdom
Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings
EditorsSeidl Helmut
Number of pages15
PublisherSpringer
Publication year20 Dec 2007
Pages93-107
ISBN (print)3540713883, 9783540713883, 978-3-540-71388-3
DOIs
Publication statusPublished - 20 Dec 2007
Externally publishedYes
SeriesLecture Notes in Computer Science
Volume4423
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 81613992