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

Capture-Avoiding Program Transformations with name-fix., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 93-94. GI, (2015)Language-integrated privacy-aware distributed queries., , , , , und . Proc. ACM Program. Lang., 3 (OOPSLA): 167:1-167:30 (2019)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)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)Efficient development of consistent projectional editors using grammar cells., , , , , und . SLE, Seite 28-40. ACM, (2016)Incremental overload resolution in object-oriented programming languages., , , , und . ISSTA/ECOOP Workshops, Seite 27-33. ACM, (2018)Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)., , und . CoRR, (2014)Incrementalizing lattice-based program analyses in Datalog., , , und . Proc. ACM Program. Lang., 2 (OOPSLA): 139:1-139:29 (2018)Concise, type-safe, and efficient structural diffing., , und . PLDI, Seite 406-419. ACM, (2021)