default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages
- Koenraad De Bosschere, Bart Demoen, Paul Tarau:
ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994. 1994
Session 1
- Xining Li, Y. Y. Yao:
LI-Engine: a New Sequential Control Model for Prolog. - Pascal Brisset, Olivier Ridoux:
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. - Zoltan Somogyi, Fergus Henderson, Thomas C. Conway:
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. - Thomas Berger, Andreas Krall:
A Progress Report on Incremental Global Compilation of Prolog.
Session 2
- Jacques Noyé:
Backtrackable Updates. - Bo-Ming Tong, Ho-fung Leung:
Performance of a Data-Parallel Concurrent Constraint Programming System. - Andrew Taylor:
Can Dynamic Analysis Make Prolog Fast?
Session 3
- Panagiotis Tsarchopoulos:
Analysis and Compilation of Constraint Solving Algorithms: A Case Study. - Barton C. Massey, Evan Tick:
Mode Analysis of Arrays and Array Comprehensions. - Anatholy F. Dedkov, Douglas J. Eadline:
Design and Implementation of a Prolog-to-C Compiler.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-28 22:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
