Abstract Specialization and its Application to Program Parallelization (1997)

by G Puebla, M Hermenegildo
Venue:Logic Program Synthesis and Transformation, number 1207 in LNCS