Tracing compilation by abstract interpretation
scientific article; zbMATH DE number 6282411