11. ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages

Thursday November 17, 1994, Ithaca, New York

Organizers

Koenraad De Bosschere, Universiteit Gent, Belgium
Bart Demoen, Katholieke Universiteit Leuven, Belgium
Paul Tarau, Universit'e de Moncton, Canada

Xining Li, Y. Y. Yao:
LI-Engine: a New Sequential Control Model for Prolog. 0-
Electronic Edition (link) BibTeX
Pascal Brisset, Olivier Ridoux:
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. 0-
Electronic Edition (link) BibTeX
Zoltan Somogyi, Fergus Henderson, Thomas Conway:
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. 0-
Electronic Edition (link) BibTeX
Thomas Berger, Andreas Krall:
A Progress Report on Incremental Global Compilation of Prolog. 0-
Electronic Edition (link) BibTeX

Jacques Noyé:
Backtrackable Updates. 0-
Electronic Edition (link) BibTeX
Bo-Ming Tong, Ho-Fung Leung:
Performance of a Data-Parallel Concurrent Constraint Programming System. 0-
Electronic Edition (link) BibTeX
Andrew Taylor:
Can Dynamic Analysis Make Prolog Fast? 0-
Electronic Edition (link) BibTeX

Panagiotis Tsarchopoulos:
Analysis and Compilation of Constraint Solving Algorithms: A Case Study. 0-
Electronic Edition (link) BibTeX
Barton C. Massey, Evan Tick:
Mode Analysis of Arrays and Array Comprehensions. 0-
Electronic Edition (link) BibTeX
Anatholy F. Dedkov, Douglas J. Eadline:
Design and Implementation of a Prolog-to-C Compiler. 0-
Electronic Edition (link) BibTeX