Reversing Abstract Interpretations.

John Hughes, John Launchbury

Browse the full ESOP paper archive.