PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Krebbers, Robbert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Simuliris: a separation logic framework for verifying concurrent program optimizations.

, , , , , , , und . Proc. ACM Program. Lang., 6 (POPL): 1-31 (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.

Keine Personen gefunden für den Autorennamen Krebbers, Robbert
Eine Person hinzufügen mit dem Namen Krebbers, Robbert
 

Weitere Publikationen von Autoren mit dem selben Namen

A call-by-value lambda-calculus with lists and control. CL&C, Volume 97 von EPTCS, Seite 19-33. (2012)Separation Algebras for C Verification in Coq.. VSTTE, Volume 8471 von Lecture Notes in Computer Science, Seite 150-166. Springer, (2014)Formal C Semantics: CompCert and the C Standard., , und . ITP, Volume 8558 von Lecture Notes in Computer Science, Seite 543-548. Springer, (2014)Transfinite Iris: resolving an existential dilemma of step-indexed separation logic., , , , , , und . PLDI, Seite 80-95. ACM, (2021)The λμT-calculus., , und . Ann. Pure Appl. Logic, 164 (6): 676-701 (2013)Separation Logic for Non-local Control Flow and Block Scope Variables., und . FoSSaCS, Volume 7794 von Lecture Notes in Computer Science, Seite 257-272. Springer, (2013)Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq., , und . Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 309-324. Springer, (2016)Connectivity graphs: a method for proving deadlock freedom based on separation logic., , und . Proc. ACM Program. Lang., 6 (POPL): 1-33 (2022)RefinedC: automating the foundational verification of C code with refined ownership types., , , , , und . PLDI, Seite 158-174. ACM, (2021)A benchmark for C program verification., , , , , , , , , und . CoRR, (2019)