A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Title index to volume 13
1992
The Journal of Logic Programming
Interpretation, 3 I5 Deriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation, 205 Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types, 23 Global Flow Analysis as a Practical Compilation Tool.
doi:10.1016/0743-1066(92)90057-a
fatcat:pqxjatfhfnflrgrf33v2hwkenu