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

Organizers

Session 1

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

Session 2

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

Session 3

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