( en | de | ru )

 

Disambiguierung von "Birkedal, Lars"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modular verification of linked lists with views via separation logic.

, , und . FTfJP@ECOOP, Seite 4:1-4:7. ACM, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kristian Larsson

Lina Larsson

Nils-Göran Larsson

Lars Larsson

Tobias Larsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Relational Reasoning for Recursive Types and References., und . APLAS, Volume 4279 von Lecture Notes in Computer Science, Seite 79-96. Springer, (2006)From Region Inference to von Neumann Machines via Region Representation Inference., , und . POPL, Seite 171-183. ACM Press, (1996)Modular verification of linked lists with views via separation logic., , und . FTfJP@ECOOP, Seite 4:1-4:7. ACM, (2010)Solutions of Generalized Recursive Metric-Space Equations., , und . FICS, Seite 18-24. Institute of Cybernetics, (2009)Guarded Cubical Type Theory., , , , , und . J. Autom. Reason., 63 (2): 211-253 (2019)Polymorphism and separation in hoare type theory., , und . ICFP, Seite 62-73. ACM, (2006)Multimodal Dependent Type Theory., , , und . LICS, Seite 492-506. ACM, (2020)Bibliography on Realizability.. Realizability Semantics and Applications@FLoC, Volume 23 von Electronic Notes in Theoretical Computer Science, Seite 40-57. Elsevier, (1999)Mechanized verification of a fine-grained concurrent queue from meta's folly library., , und . CPP, Seite 100-115. ACM, (2022)Asynchronous Probabilistic Couplings in Higher-Order Separation Logic., , , , und . CoRR, (2023)