Relational Reversal of Abstract Interpretation
HUGHES, JOHN, LAUNCHBURY, JOHNVolume:
2
Year:
1992
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/2.4.465
File:
PDF, 900 KB
english, 1992