Autor der Publikation

Improving IDE recommendations by considering global implications of existing recommendations.

, , , , und . ICSE, Seite 1349-1352. IEEE Computer Society, (2012)

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

Automatic Trigger Generation for Rule-based Smart Homes., und . PLAS@CCS, Seite 97-102. ACM, (2016)Collaborative Verification of Information Flow for a High-Assurance App Store., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 77. GI, (2015)Natural Language is a Programming Language: Applying Natural Language Processing to Software Development.. SNAPL, Volume 71 von LIPIcs, Seite 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Practical pluggable types for java., , , , und . ISSTA, Seite 201-212. ACM, (2008)Research Summary for Dynamic Detection of Program Invariants.. ICSE, Seite 718-719. ACM, (1999)Boolean Formulas for the Static Identification of Injection Attacks in Java., , , , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 130-145. Springer, (2015)Reim & ReImInfer: checking and inference of reference immutability and method purity., , , und . OOPSLA, Seite 879-896. ACM, (2012)Ayudante: identifying undesired variable interactions., , und . WODA@SPLASH, Seite 8-13. ACM, (2015)A practical type system and language for reference immutability., und . OOPSLA, Seite 35-49. ACM, (2004)Ownership and immutability in generic Java., , , , und . OOPSLA, Seite 598-617. ACM, (2010)