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 Why and Wherefore of the Cornell Program Synthesizer, , und . ACM SIGPLAN Notices, 16 (6): 8--16 (Juni 1981)Tool Demonstration: Finding Duplicated Code Using Program Dependences., und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 383-386. Springer, (2001)Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science., , , , , , , , , und 1 andere Autor(en). SIGCSE, Seite 163-167. ACM, (2009)Integrating Non-Interfering Versions of Programs., , und . POPL, Seite 133-145. ACM Press, (1988)Pointer Analysis for Programs with Structures and Casting., , und . PLDI, Seite 91-103. ACM, (1999)Protecting C programs from attacks via invalid pointer dereferences., und . ESEC / SIGSOFT FSE, Seite 307-316. ACM, (2003)Speeding up Slicing., , , und . SIGSOFT FSE, Seite 11-20. ACM, (1994)Debugging via Run-Time Type Checking., , , und . FASE, Volume 2029 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2001)A program integration algorithm that accommodates semantics-preserving transformations., , und . SDE, Seite 133-143. ACM, (1990)Semantics-Preserving Procedure Extraction., und . POPL, Seite 155-169. ACM, (2000)