Extracting a Data Flow Analyser in Constructive Logic.

David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu

Browse the full ESOP paper archive.