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

Language-integrated privacy-aware distributed queries., , , , , und . Proc. ACM Program. Lang., 3 (OOPSLA): 167:1-167:30 (2019)Capture-Avoiding Program Transformations with name-fix., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 93-94. GI, (2015)Type-safe, Polyvariadic Event Correlation., , , und . CoRR, (2019)On Solving Solved Problems.. Eelco Visser Commemorative Symposium, Volume 109 von OASIcs, Seite 10:1-10:6. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)An extensible framework for variable-precision data-flow analyses in MPS., , , und . ASE, Seite 870-875. ACM, (2016)Scalable incremental building with dynamic task dependencies., , und . ASE, Seite 76-86. ACM, (2018)Finding bugs in program generators by dynamic analysis of syntactic language constraints., , , und . MODULARITY (Companion), Seite 17-20. ACM, (2014)Modular specification and dynamic enforcement of syntactic language constraints when generating code., , , und . MODULARITY, Seite 241-252. ACM, (2014)IncA: a DSL for the definition of incremental program analyses., , und . ASE, Seite 320-331. ACM, (2016)Using Vampire in Soundness Proofs of Type Systems., , und . Vampire Workshop, Volume 38 von EPiC Series in Computing, Seite 33-51. EasyChair, (2015)