ILPS Workshop: Implementation Techniques for Logic Programming Languages

Keyphrases

Publications

1994

Zoltan Somogyi, Fergus Henderson, Thomas C. Conway
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Jacques Noyé
Backtrackable Updates. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Bo-Ming Tong, Ho-fung Leung
Performance of a Data-Parallel Concurrent Constraint Programming System. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Andrew Taylor
Can Dynamic Analysis Make Prolog Fast? ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Pascal Brisset, Olivier Ridoux
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Anatholy F. Dedkov, Douglas J. Eadline
Design and Implementation of a Prolog-to-C Compiler. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994 ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Panagiotis Tsarchopoulos
Analysis and Compilation of Constraint Solving Algorithms: A Case Study. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Barton C. Massey, Evan Tick
Mode Analysis of Arrays and Array Comprehensions. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Xining Li, Y. Y. Yao
LI-Engine: a New Sequential Control Model for Prolog. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Thomas Berger, Andreas Krall
A Progress Report on Incremental Global Compilation of Prolog. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)