Journal of Logic Programming, Volume 13

Volume 13, Number 1, May 1992

Kenneth A. Ross: A Prodedural Semantics for Well-Founded Negation in Logic Programs. 1-22 BibTeX , preliminary version: PODS 1989: 22-33
J. V. Tucker, Jeffery I. Zucker: Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types. 23-55 BibTeX
Saumya K. Debray: A Simple Code Improvement Scheme for Prolog. 57-88 BibTeX , preliminary version: ICLP 1989: 17-32
Akihiro Yamamoto: Short Note: Procedural Semantics and Negative Information of Elementary Formal System. 89-97 BibTeX

Saumya K. Debray: Guest Editor`s Introduction. 99-101 BibTeX
Patrick Cousot, Radhia Cousot: Abstract Interpretation and Application to Logic Programs. 103-179 BibTeX
Kim Marriott, Harald Søndergaard: Bottom-Up Dataflow Analysis of Normal Logic Programs. 181-204 BibTeX
G. Janssen, Maurice Bruynooghe: Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. 205-258 BibTeX
William H. Winsborough: Multiple Specialization using Minimal-Function Graph Semantics. 259-290 BibTeX
Dean Jacobs, Anno Langen: Static Analysis of Logic Programs for Independent And-Parallelism. 291-314 BibTeX
Kalyan Muthukumar, Manuel V. Hermenegildo: Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. 315-347 BibTeX

Manuel V. Hermenegildo, Richard Warren, Saumya K. Debray: Global Flow Analysis as a Practical Compilation Tool. 349-366 BibTeX , preliminary version: ICLP 1988: 684-699
David M. Russinoff: A Verified Prolog Compiler for the Warren Abstract Machine. 367-412 BibTeX
Mehmet A. Orgun, William W. Wadge: Towards a Unified Theory of Intensional Logic Programming. 413-440 BibTeX