Abstract Interpretation of Partial-Evaluation Algorithms (1993)

by Karoline Malmkjaer