Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., und . Int. J. Found. Comput. Sci., 24 (1): 1-2 (2013)Bounded Abstract Effects., , , , und . ACM Trans. Program. Lang. Syst., 44 (1): 5:1-5:48 (2022)A tool for ownership and confinement analysis of the Java object graph.. OOPSLA Companion, Seite 118-119. ACM, (2002)Multiple dispatch in practice., , , und . OOPSLA, Seite 563-582. ACM, (2008)A Relaxed Balanced Lock-Free Binary Search Tree., , und . PDCAT, Volume 12606 von Lecture Notes in Computer Science, Seite 304-317. Springer, (2020)Towards compilation of an imperative language for FPGAs., , und . VMIL@SPLASH, Seite 47-56. ACM, (2018)Encoding Featherweight Java with assignment and immutability using the Coq proof assistant., , , , und . FTfJP@ECOOP, Seite 11-19. ACM, (2012)Safely Composable Type-Specific Languages., , , , , und . ECOOP, Volume 8586 von Lecture Notes in Computer Science, Seite 105-130. Springer, (2014)Capabilities: Effects for Free., , , und . ICFEM, Volume 11232 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2018)The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types., , , und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 205-229. Springer, (2013)