Electronic Notes in Theoretical Computer Science, Volume 30

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

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

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.
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Rules and Strategies for Contextual Specialization of Constraint Logic Programs.
Marco Gavanelli, Michela Milano:
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation.
Michael Leuschel, Jesper Jørgensen:
Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN.
Germán Puebla, Manuel V. Hermenegildo:
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs.
Kazunori Ueda:
Linearity Analysis of Concurrent Logic Programs.
Wim Vanhoof, Maurice Bruynooghe:
Towards Modular Binding-Time Analysis for First-order Mercury.
Neng-Fa Zhou, Sosuke Kaneko:
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation.

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.
Kyoung-Sun Kang, Naoyuki Tamura:
A Static Analysis Method for a Classical Linear Logic Programming Language.
Mutsunori Banbara, Naoyuki Tamura:
Translating a Linear Logic Programming Language into Java.
Henri Lesourd:
The Implementation of the Hammurabi System.
Baoqiu Cui, David Scott Warren:
Attributed Variables in XSB.
Lígia Ferreira, Salvador Abreu:
A Constraint Logic Programming Framwork in Java.
Martin Henz, Tobias Müller, Ka Boon Ng:
Figaro: Yet Another Constraint Programming Library.
Manuel Eduardo Correia, Vítor Santos Costa:
IAP for dummies: The YAP Design.
Daniel Cabeza Gras, Manuel V. Hermenegildo:
The Ciao Module System: A New Module System for Prolog.
Paul Tarau:
Multi-engine Horn Clause Prolog.
Daniel Cabeza Gras, Manuel V. Hermenegildo:
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library.

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.
Clinton J. Jeffery:
The Alamo Execution Monitor Architecture.
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Type-based Diagnosis of CLP Programs.
Marija Kulas:
Debugging Prolog Using Annotations.
Zoltan Somogyi, Fergus Henderson:
The Implementation Technology of the Mercury Debugger.
Yoshihiro Adachi, Kensei Tsuchida, Takanori Imaki, Takeo Yaku:
Logichart - Intelligible Program Diagram for Prolog and its Processing System.
Manuel V. Hermenegildo:
A System for Automatically Generating Documentation for (C)LP Programs.
Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Byrd's Box Model with a Continuation Semantics.