Extracting a data flow analyser in constructive logic (2004)

by D CACHERA, T JENSEN, D PICHARDIE, V RUSU
Venue:In European Symposium on Programming. Lecture Notes in Computer Science Series