Extracting a Data Flow Analyser in Constructive Logic (2004)

View PDF

Download Links

by David Cachera , Thomas Jensen , David Pichardie , Vlad Rusu
Venue:Proc. of the 13th European Symposium on Programming, volume 2986 of LNCS
Citations:50 - 15 self