Author of the publication

Towards bridging the gap between programming languages and partial evaluation.

, , and . PEPM, page 9-18. ACM, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semantic patch inference., , , , and . ASE, page 382-385. ACM, (2012)Proofs by Structural Induction using Partial Evaluation.. PEPM, page 155-166. ACM, (1993)Separating Stages in the Continuation-Passing Style Transformation., and . POPL, page 124-136. ACM Press, (1993)Faster Fourier Transforms via Automatic Program Specialization.. Partial Evaluation, volume 1706 of Lecture Notes in Computer Science, page 338-355. Springer, (1998)on Global Dynamics of Optimal Graph Reduction., and . ICFP, page 188-195. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study., , , and . ICCL, page 132-142. IEEE Computer Society, (1998)Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications., , and . Power-aware Computing Systems, volume 07041 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Towards Automatic Specialization of Java Programs., , , and . ECOOP, volume 1628 of Lecture Notes in Computer Science, page 367-390. Springer, (1999)Constructing component-based extension interfaces in legacy systems code., , , and . ACM SIGOPS European Workshop, page 15. ACM, (2004)Capturing OS expertise in an event type system: the Bossa experience., , and . ACM SIGOPS European Workshop, page 54-61. ACM, (2002)