( en | de | ru )

 

Disambiguierung von "Horwitz, Susan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Why and Wherefore of the Cornell Program Synthesizer

, , und . ACM SIGPLAN Notices, 16 (6): 8--16 (Juni 1981)

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.

Astrid Sunarti Susanto-Sunario

Hugo Horwitz

Hermann Horwitz

Jair Horwitz

Alice Horwitz

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Tool Demonstration: Finding Duplicated Code Using Program Dependences., und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 383-386. Springer, (2001)The Why and Wherefore of the Cornell Program Synthesizer, , und . ACM SIGPLAN Notices, 16 (6): 8--16 (Juni 1981)Semantics-Preserving Procedure Extraction., und . POPL, Seite 155-169. ACM, (2000)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)Pointer Analysis for Programs with Structures and Casting., , und . PLDI, Seite 91-103. ACM, (1999)A program integration algorithm that accommodates semantics-preserving transformations., , und . SDE, Seite 133-143. ACM, (1990)Debugging via Run-Time Type Checking., , , und . FASE, Volume 2029 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2001)