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
Volume 13, Numbers 2&3, July 1992
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
Volume 13, Number 4, August 1992
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
Copyright ©
Sun May 17 00:10:05 2009 by
Michael Ley
(
ley@uni-trier.de
)