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

The set constraint/CFL reachability connection in practice., und . PLDI, Seite 207-218. ACM, (2004)Regularly annotated set constraints., und . PLDI, Seite 331-341. ACM, (2007)Banshee: A Scalable Constraint-Based Analysis Toolkit., und . SAS, Volume 3672 von Lecture Notes in Computer Science, Seite 218-234. Springer, (2005)Flow-insensitive type qualifiers., , , und . ACM Trans. Program. Lang. Syst., 28 (6): 1035-1087 (2006)Checking and inferring local non-aliasing., , , und . PLDI, Seite 129-140. ACM, (2003)