A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Reversing abstract interpretations
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