From post

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.

 

Другие публикации лиц с тем же именем

Proofs by Structural Induction using Partial Evaluation.. PEPM, стр. 155-166. ACM, (1993)Semantic patch inference., , , , и . ASE, стр. 382-385. ACM, (2012)Separating Stages in the Continuation-Passing Style Transformation., и . POPL, стр. 124-136. ACM Press, (1993)WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process., , , , , и . Softw. Pract. Exp., 43 (1): 67-92 (2013)Faster Fourier Transforms via Automatic Program Specialization.. Partial Evaluation, том 1706 из Lecture Notes in Computer Science, стр. 338-355. Springer, (1998)Automatic Verification of Bossa Scheduler Properties., , , и . AVoCS, том 185 из Electronic Notes in Theoretical Computer Science, стр. 17-32. Elsevier, (2006)on Global Dynamics of Optimal Graph Reduction., и . ICFP, стр. 188-195. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel., , , и . Autom. Softw. Eng., 23 (1): 3-41 (2016)Web cache prefetching as an aspect: towards a dynamic-weaving based solution., , , и . AOSD, стр. 110-119. ACM, (2003)On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components., , и . GPCE, том 3286 из Lecture Notes in Computer Science, стр. 436-455. Springer, (2004)