Journal of Logic Programming, Volume 41

Volume 41, Number 1, October 1999

• Joeri Engelfriet, Heinrich Herre:
  Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. 1-25
  
• Birgit Elbl:
  A Declarative Semantics for Depth-First Logic Programs. 27-66
  
• Catherine Belleannée, Pascal Brisset, Olivier Ridoux:
  A Pragmatic Reconstruction of lambda-Prolog. 67-102
  
• Michael Codish, Cohavit Taboch:
  A Semantic Basis for the Termination Analysis of Logic Programs. 103-123
  
• Michael Codish:
  Worst-Case Groundness Analysis Using Positive Boolean Functions. 125-128
  
• Christos H. Papadimitriou, Martha Sideri:
  On the Floyd-Warshall Algorithm for Logic Programs. 129-137
  

Volume 41, Number 2-3, November 1999

• Annalisa Bossi, Yves Deville:
  Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. 139-140
  
• Pierre Flener, Serap Yilmaz:
  Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. 141-195
  
• Alberto Pettorossi, Maurizio Proietti:
  Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. 197-230
  
• Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen:
  Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. 231-277
  - Erratum: J. Log. Program. 43(3): 265(2000)
• Germán Puebla, Manuel V. Hermenegildo:
  Abstract Multiple Specialization and Its Application to Program Parallelization. 279-316
  

Last update Mon Feb 13 04:52:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page