default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDParallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: Las Cruces, NM, USA
- Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(3), Elsevier 1999 - Inês de Castro Dutra
, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Preface. 1-2 - Kyoung-Sun Kang, Naoyuki Tamura:
A Static Analysis Method for a Classical Linear Logic Programming Language. 3-19 - Mutsunori Banbara, Naoyuki Tamura:
Translating a Linear Logic Programming Language into Java. 20-45 - Henri Lesourd:
The Implementation of the Hammurabi System: Indexing and Interprocess Communication. 46-66 - Baoqiu Cui, David Scott Warren:
Attributed Variables in XSB. 67-80 - Lígia Ferreira, Salvador Abreu:
A Constraint Logic Programming Framwork in Java. 81-92 - Martin Henz, Tobias Müller, Ka Boon Ng:
Figaro: Yet Another Constraint Programming Library. 93-105 - Manuel Eduardo Correia, Vítor Santos Costa:
IAP for dummies: The YAP Design. 106-121 - Daniel Cabeza Gras, Manuel V. Hermenegildo:
The Ciao Module System: A New Module System for Prolog. 122-142 - Paul Tarau:
Multi-engine Horn Clause Prolog. 143 - Daniel Cabeza Gras, Manuel V. Hermenegildo:
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. 144-162
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 2024-11-08 20:38 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:
