×

Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP ’99, Las Cruces, NM, USA, December 1, 1999. (English) Zbl 0942.00053

Electronic Notes in Theoretical Computer Science. 30,3. Amsterdam: Elsevier, 10 papers (electronic) (1999).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Ferreira, Lígia; Abreu, Salvador, A CLP framework in JAVA, 12 p., electronic only [Zbl 0958.68025]
Henz, Martin; Müller, Tobias; Boon, Ng Ka, Figaro: Yet another constraint programming library, 13 p., electronic only [Zbl 0958.68053]
Cui, Baoqiu; Warren, David S., Attributed variables in XSB, 14 p., electronic only [Zbl 0958.68028]
Correia, Manuel Eduardo; Costa, Vítor Santos, IAP for dummies: The IAP design, 16 p., electronic only [Zbl 0958.68029]
Kang, Kyoung-Sun; Tamura, Naoyuki, A static analysis method for a classical linear logic programming language, 17 p., electronic only [Zbl 0958.68027]
Tarau, Paul, Multi-engine Horn Clause Prolog, 18 p., electronic only [Zbl 0959.68017]
Cabeza, Daniel; Hermenegildo, Manuel, The Ciao modular, standalone compiler and its generic program processing library, 19 p., electronic only [Zbl 0958.68032]
Cabeza, Daniel; Hermenegildo, Manuel, The Ciao module system: A new module system for Prolog, 21 p., electronic only [Zbl 0958.68033]
Lesourd, Henri, The implementation of the Hammurabi system: Indexing and interprocess communication, 21 p., electronic only [Zbl 0958.68049]
Banbara, Mutsunori; Tamura, Naoyuki, Translating a linear logic programming language into Java, 26 p., electronic only [Zbl 0958.68035]

MSC:

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N17 Logic programming

Software:

XSB
PDFBibTeX XMLCite