Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP '99, Las Cruces, NM, USA, December 1, 1999 - MaRDI portal

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





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

    Identifiers

    0 references
    0 references
    0 references
    0 references