Tracing compilation by abstract interpretation.

Stefano Dissegna, Francesco Logozzo, Francesco Ranzato

Browse the full POPL paper archive.