A relationship between abstract interpretation and projection analysis
Geoffrey Burn · 1990
Abstract interpretation and projection analysis are two techniques for finding out information about lazy functional programs. Two typical uses of these techniques are speeding up sequential implementations, and the introduction of parallelism into parallel implementations.