Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP '99, Las Cruces, NM, USA, December 1, 1999 (Q1574967)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP '99, Las Cruces, NM, USA, December 1, 1999 |
scientific article; zbMATH DE number 1490629
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP '99, Las Cruces, NM, USA, December 1, 1999 |
scientific article; zbMATH DE number 1490629 |
Statements
Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP '99, Las Cruces, NM, USA, December 1, 1999 (English)
0 references
14 August 2000
0 references
The articles of this volume will be reviewed individually. Indexed articles: \textit{Ferreira, Lígia; Abreu, Salvador}, A CLP framework in JAVA, 12 p., electronic only [Zbl 0958.68025] \textit{Henz, Martin; Müller, Tobias; Boon, Ng Ka}, Figaro: Yet another constraint programming library, 13 p., electronic only [Zbl 0958.68053] \textit{Cui, Baoqiu; Warren, David S.}, Attributed variables in XSB, 14 p., electronic only [Zbl 0958.68028] \textit{Correia, Manuel Eduardo; Costa, Vítor Santos}, IAP for dummies: The IAP design, 16 p., electronic only [Zbl 0958.68029] \textit{Kang, Kyoung-Sun; Tamura, Naoyuki}, A static analysis method for a classical linear logic programming language, 17 p., electronic only [Zbl 0958.68027] \textit{Tarau, Paul}, Multi-engine Horn Clause Prolog, 18 p., electronic only [Zbl 0959.68017] \textit{Cabeza, Daniel; Hermenegildo, Manuel}, The Ciao modular, standalone compiler and its generic program processing library, 19 p., electronic only [Zbl 0958.68032] \textit{Cabeza, Daniel; Hermenegildo, Manuel}, The Ciao module system: A new module system for Prolog, 21 p., electronic only [Zbl 0958.68033] \textit{Lesourd, Henri}, The implementation of the Hammurabi system: Indexing and interprocess communication, 21 p., electronic only [Zbl 0958.68049] \textit{Banbara, Mutsunori; Tamura, Naoyuki}, Translating a linear logic programming language into Java, 26 p., electronic only [Zbl 0958.68035]
0 references
Las Cruces, NM (USA)
0 references
Proceedings
0 references
Workshop
0 references
Logic programming
0 references
Constraint logic programming
0 references