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

Proofs by Structural Induction using Partial Evaluation.. PEPM, Seite 155-166. ACM, (1993)Semantic patch inference., , , , und . ASE, Seite 382-385. ACM, (2012)Separating Stages in the Continuation-Passing Style Transformation., und . POPL, Seite 124-136. ACM Press, (1993)WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process., , , , , und . Softw. Pract. Exp., 43 (1): 67-92 (2013)Faster Fourier Transforms via Automatic Program Specialization.. Partial Evaluation, Volume 1706 von Lecture Notes in Computer Science, Seite 338-355. Springer, (1998)Automatic Verification of Bossa Scheduler Properties., , , und . AVoCS, Volume 185 von Electronic Notes in Theoretical Computer Science, Seite 17-32. Elsevier, (2006)on Global Dynamics of Optimal Graph Reduction., und . ICFP, Seite 188-195. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Partial Evaluation of Pattern Matching in Strings, revisited., und . Nord. J. Comput., 8 (4): 437-462 (2001)Constructing component-based extension interfaces in legacy systems code., , , und . ACM SIGOPS European Workshop, Seite 15. ACM, (2004)Capturing OS expertise in an event type system: the Bossa experience., , und . ACM SIGOPS European Workshop, Seite 54-61. ACM, (2002)