( en | de | ru )

 

Disambiguierung von "Birkedal, Lars"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modular verification of op-based CRDTs in separation logic.

, , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 1788-1816 (2022)

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.

Bernd Larsonneur

Bertold Larsen

Niels Larsen

Kirsten Kastrup Larsen

Peter Larsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Solutions of Generalized Recursive Metric-Space Equations., , und . FICS, Seite 18-24. Institute of Cybernetics, (2009)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)Step-Indexed Relational Reasoning for Countable Nondeterminism., , und . Logical Methods in Computer Science, (2013)Relational Reasoning for Recursive Types and References., und . APLAS, Volume 4279 von Lecture Notes in Computer Science, Seite 79-96. Springer, (2006)Guarded Cubical Type Theory., , , , , und . J. Autom. Reason., 63 (2): 211-253 (2019)Client-server sessions in linear logic., , und . Proc. ACM Program. Lang., 5 (ICFP): 1-31 (2021)The Logical Essence of Well-Bracketed Control Flow., , und . Proc. ACM Program. Lang., 8 (POPL): 575-603 (Januar 2024)The category-theoretic solution of recursive metric-space equations., , und . Theor. Comput. Sci., 411 (47): 4102-4122 (2010)Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic., , , , , und . CoRR, (2021)