DMCA

Compile-time Derivation of Variable Dependency Using Abstract Interpretation (1992)

by K. Muthukumar , M. Hermenegildo
Venue:Journal of Logic Programming
Citations:127 - 42 self