( en | de | ru )

 

Disambiguierung von "Birkedal, Lars"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.

, , , , und . Proc. ACM Program. Lang., 7 (ICFP): 847-877 (August 2023)

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.

Bertold Larsen

Niels Larsen

Bernd Larsonneur

Kirsten Kastrup Larsen

Peter Larsen

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic., , , , , und . CoRR, (2021)Asynchronous Probabilistic Couplings in Higher-Order Separation Logic., , , , und . CoRR, (2023)The category-theoretic solution of recursive metric-space equations., , und . Theor. Comput. Sci., 411 (47): 4102-4122 (2010)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)Relational Reasoning for Recursive Types and References., und . APLAS, Volume 4279 von Lecture Notes in Computer Science, Seite 79-96. Springer, (2006)Step-Indexed Relational Reasoning for Countable Nondeterminism., , und . Logical Methods in Computer Science, (2013)Guarded Cubical Type Theory., , , , , und . J. Autom. Reason., 63 (2): 211-253 (2019)