Extracting a Data Flow Analyser in Constructive Logic (2004)

Cached

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:45 - 11 self