Volume 30, Number 1, 1999

ICLP'99 International Conference on Logic Programming: Workshop on Verification of Logic Programs, Las Cruces, New Mexico, USA, December 1, 1999

• 
  Christoph Beierle, Reinhold Kloos, Gregor Meyer: A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. 1-21
• 
  Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract Interpretation based Verification of Logic Programs. 22-38
• 
  Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. 39-58
• 
  Pascal Hitzler, Anthony Karel Seda: Acceptable Programs Revisited. 59-76
• 
  Dino Pedreschi, Salvatore Ruggieri: On Logic Programs That Do Not Fail. 77-101
• 
  Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations. 102-124
• 
  Sandro Etalle, Jan-Georg Smaus: Preface - Workshop on Verification of Logic Programs. 125

Volume 30, Number 2, 1999

ICLP'99 International Conference on Logic Programming: WOID'99: Workshop on Optimization and Implementation of Declarative Programs, Las Cruces (New Mexico, USA), December 2-3, 1999

• 
  Michael Leuschel: Preface - Workshop on Optimization and Implementation of Declarative Programs. 127-128
• 
  Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs. 129-144
• 
  Marco Gavanelli, Michela Milano: On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. 145-156
• 
  Michael Leuschel, Jesper Jørgensen: Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. 157-162
• 
  Germán Puebla, Manuel V. Hermenegildo: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. 163-187
• 
  Kazunori Ueda: Linearity Analysis of Concurrent Logic Programs. 188
• 
  Wim Vanhoof, Maurice Bruynooghe: Towards Modular Binding-Time Analysis for First-order Mercury. 189-198
• 
  Neng-Fa Zhou, Sosuke Kaneko: A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. 199-207

Volume 30, Number 3, 1999

ICLP'99 International Conference on Logic Programming: Parallelism and Implementation Technology for (Constraint) Logic Programming

• 
  Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk: Preface. 1-2
• 
  Kyoung-Sun Kang, Naoyuki Tamura: A Static Analysis Method for a Classical Linear Logic Programming Language. 3-19
• 
  Mutsunori Banbara, Naoyuki Tamura: Translating a Linear Logic Programming Language into Java. 20-45
• 
  Henri Lesourd: The Implementation of the Hammurabi System: Indexing and Interprocess Communication. 46-66
• 
  Baoqiu Cui, David Scott Warren: Attributed Variables in XSB. 67-80
• 
  Lígia Ferreira, Salvador Abreu: A Constraint Logic Programming Framwork in Java. 81-92
• 
  Martin Henz, Tobias Müller, Ka Boon Ng: Figaro: Yet Another Constraint Programming Library. 93-105
• 
  Manuel Eduardo Correia, Vítor Santos Costa: IAP for dummies: The YAP Design. 106-121
• 
  Daniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Module System: A New Module System for Prolog. 122-142
• 
  Paul Tarau: Multi-engine Horn Clause Prolog. 143
• 
  Daniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. 144-162

Volume 30, Number 4, 1999

ICLP'99 International Conference on Logic Programming: WLPE'99, Tenth Workshop on Logic Programming Environments, Las Cruces, New Mexico, USA, November 29, 1999

• 
  Mireille Ducassé, Anthony J. Kusalik, Germán Puebla: Preface. 197
• 
  Clinton J. Jeffery: The Alamo Execution Monitor Architecture. 198-214
• 
  Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Type-based Diagnosis of CLP Programs. 215-234
• 
  Marija Kulas: Debugging Prolog Using Annotations. 235-255
• 
  Zoltan Somogyi, Fergus Henderson: The Implementation Technology of the Mercury Debugger. 256-275
• 
  Yoshihiro Adachi, Kensei Tsuchida, Takanori Imaki, Takeo Yaku: Logichart - Intelligible Program Diagram for Prolog and its Processing System. 276-288
• 
  Manuel V. Hermenegildo: A System for Automatically Generating Documentation for (C)LP Programs. 289-307
• 
  Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Byrd's Box Model with a Continuation Semantics. 308-315