Type Systems for Useless-Variable Elimination

nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Partial Evaluation . . . . . . . . . . . . . . . . . . . . . 84 Julia L. Lawall Combining Forward and Backward Analyses of Temporal Properties . . . . . . 103 Damien Mass´e Numerical Power Analysis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 Isabella Mastroeni Run-Time Bytecode Specialization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138 Hidehiko Masuhara, Akinori Yonezawa merical Abstract Domain Based on Difference-Bound Matrices . 155 Antoine Min´e Partial Evaluation for Class-Based Object-Oriented Languages. . . . . . . . . . . 173 Ulrik P. Schultz Driving in the Jungle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198 Jens Peter Secher Higher-Order Pattern Matching for Automatically Ap...

• Type: Conference
• Year: 2001
• Where: PADO
• Authors: Adam Fischbach, John Hannan
• Keywords: PADO 2001, Partial Evaluation, Programming Languages, Run-Time Bytecode Specialization, Svenningsson Implementing Circularity