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

Diagnosing and correcting design inconsistencies in source code with logical abduction., , , , , und . Sci. Comput. Program., 76 (12): 1113-1129 (2011)Constructing Customized Interpreters from Reusable Evaluators Using Game., , und . SC@TOOLS, Volume 7306 von Lecture Notes in Computer Science, Seite 97-113. Springer, (2012)A flexible framework for studying trace-based just-in-time compilation., , und . Comput. Lang. Syst. Struct., (2018)Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)., , , und . Dagstuhl Artifacts Ser., 3 (2): 11:1-11:2 (2017)STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation., , , und . GTTSE, Volume 10223 von Lecture Notes in Computer Science, Seite 223-234. Springer, (2015)The SOUL tool suite for querying programs in symbiosis with Eclipse., , , und . PPPJ, Seite 71-80. ACM, (2011)Static Taint Analysis of Event-driven Scheme Programs., , , und . ELS, Seite 80-87. ELSAA, (2017)Mining Extension Point Patterns in Scala., , , , , und . BENEVOL, Volume 2361 von CEUR Workshop Proceedings, Seite 16-20. CEUR-WS.org, (2018)Interruptible context-dependent executions: a fresh look at programming context-aware applications., , , , und . Onward!, Seite 67-84. ACM, (2012)Towards Tierless Web Development without Tierless Languages., , , und . Onward!, Seite 69-81. ACM, (2014)