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