Reversing abstract interpretations

John Hughes, John Launchbury
1994 Science of Computer Programming  
Program analyses are often presented as one of two brands: forwards or backwards. In this paper we explore the significance of the direction of analysis, and show how arbitrary abstract interpretations may be reversed. (Ellis Horwood, Chichester, England, 1987). [ 1 J ] P. Wadler and R.J.M. Hughes, Projections for strictness analysis, in: FPCA-87 (1987). Abstract Interpretation of Declarative Languages
doi:10.1016/0167-6423(94)00008-5 fatcat:kksxz4b4ofahlb63vh5wigkgnq