Design and Implementation of a Declarative Data-Parallel Language (1994)

Cached

Download Links

by Olivier Michel , Jean-Louis Giavitto
Citations:5 - 1 self

Documents Related by Co-Citation

3 Multi-SLD Resolution – Donald A. Smith, Timothy J. Hickey - 1994
5 Sipelstein and Guy E Blelloch. Collection-oriented languages – M Jay - 1991
10 de Kergommeaux and P. Codognet. Parallel logic programming systems – J Chassin - 1994
23 Reforming Compilation of Logic Programs – Hakan Millroth - 1991
4 Contribution to Semantics of a Data-Parallel Logic Programming Language – Arnaud Lallouet, Yann Le Guyadec - 1995
9 Le mod`ele de programmation `a parall'elisme de donn'ees : une perspective s'emantique – Luc Boug'e - 1993
5 Caml-flight alpha: Implantation et applications – E Chailloux, C Foisy - 1995
3 validation et parall'elisme de donn'ees en programmation logique – Modularit'e - 1995
6 CS-Prolog: a Communicating Sequential Prolog – Ferenczi, I Fut'o - 1992
2 H akan Millroth. Providing iteration and concurrency in logic programs through bounded quantification – Jonas Barklund - 1994
2 A set-oriented approach to prolog – P Kacsuk, A Bale - 1987
2 editors. Implementation of distributed prolog, Parallel computing – P Kacsuk, M Wise - 1992
2 Lallouet and Yann Le Guyadec. Une approche data-parall`ele de la programmation logique – Arnaud - 1995
8 Communicating Clauses: towards Synchronous Communication in Contextual Logic Programming – Jean-marie Jacquet, Luís Monteiro - 1992
4 Machine Abstraite Cat'egorique et Parall'elisme de Donn'ees – C Foisy - 1994
28 Logic programming with bounded quantifiers – A Voronkov - 1992
20 The Data-Parallel Categorical Abstract Machine – Gaétan Hains, Christian Foisy - 1993
7 SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs – Håkan Millroth - 1994
8 Extending Gödel for Expressing Restricted Quantifications and Arrays – Jonas Barklund, Patricia M. Hill - 1995