( en | de | ru )

 

Disambiguierung von "Balzer, Stephanie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ferrite: A Judgmental Embedding of Session Types in Rust.

, , und . ECOOP, Volume 222 von LIPIcs, Seite 22:1-22:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Karola Balzer

Paul Balzer

Alfred Balzer

Fritz Balzer

Fritz Balzer

 

Weitere Publikationen von Autoren mit dem selben Namen

A Universal Session Type for Untyped Asynchronous Communication., , und . CONCUR, Volume 118 von LIPIcs, Seite 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Higher-Order Leak and Deadlock Free Locks., und . Proc. ACM Program. Lang., 7 (POPL): 1027-1057 (Januar 2023)Manifest Deadlock-Freedom for Shared Session Types., , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 611-639. Springer, (2019)Ferrite: A Judgmental Embedding of Session Types in Rust., , und . ECOOP, Volume 222 von LIPIcs, Seite 22:1-22:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Modular reasoning about invariants over shared state with interposed data members., und . PLPV, Seite 49-56. ACM, (2010)Manifest sharing with session types., und . Proc. ACM Program. Lang., 1 (ICFP): 37:1-37:29 (2017)Recursive Session Logical Relations., und . CoRR, (2022)Can Aspects Implement Contracts?., , und . RISE, Volume 3943 von Lecture Notes in Computer Science, Seite 145-157. Springer, (2005)Splash'13 workshops summary., und . SPLASH (Companion Volume), Seite 177-178. ACM, (2013)Object Propositions., , , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 497-513. Springer, (2014)