Improving abstract interpretations with CPS-translation (1993)

by J Muylaert Filho