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

Sound deadlock prediction., und . Proc. ACM Program. Lang., 2 (OOPSLA): 146:1-146:29 (2018)Stack size analysis for interrupt-driven programs., , , , , und . Inf. Comput., 194 (2): 144-174 (2004)Eta-expansion does The Trick, , und . ACM Trans. Program. Lang. Syst., 18 (6): 730--751 (1996)The Essence of Eta-Expansion in Partial Evaluation., , und . PEPM, Seite 11-20. University of Melbourne, Australia, Department of Computer Science, (1994)Modern Compiler Implementation in Java, 2nd edition., und . Cambridge University Press, (2002)Object-oriented type systems., und . Wiley professional computing Wiley, (1994)A Denotational Semantics of Inheritance and its Correctness., und . OOPSLA, Seite 433-443. ACM, (1989)SIGPLAN Notices 24(10).The ExoVM system for automatic VM and application reduction., , , und . PLDI, Seite 352-362. ACM, (2007)Efficient Recursive Subtyping., , und . POPL, Seite 419-428. ACM Press, (1993)Register Allocation via Coloring of Chordal Graphs.. CATS, Volume 65 von CRPIT, Seite 3. Australian Computer Society, (2007)