Publicacoes - INESC TEC

Publicações

Publicações por Vítor Santos Costa

1991

IDIOM: Integrating dependent and-, independent and-, and or-parallelism

Autores
Gupta, G; Santos, CV; Yang, R; Hermenegildo Manuel, V;

Publicação
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991

Abstract
Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model and the Extended And-Or Tree Model. Our model supports both Prolog as well as the flat concurrent logic languages. We discuss the issues that arise in combining the three forms of parallelism, and our solutions to them. We also present an implementation scheme, based on binding arrays, for implementing IDIOM.

FecharLer Abstract

2012

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012

Autores
Acar, UA; Costa, VS;

Publicação
DAMP

Abstract

2000

Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings

Autores
Pontelli, E; Costa, VS;

Publicação
PADL

Abstract

2012

Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary

Autores
Dovier, A; Costa, VS;

Publicação
ICLP (Technical Communications)

Abstract

1991

Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism

Autores
Costa, VS; Warren, DHD; Yang, R;

Publicação
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991

Abstract

1993

Performance of the Compiler-Based Andorra-I System

Autores
Yang, R; Beaumont, T; Dutra, IdC; Costa, VS; Warren, DHD;

Publicação
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993

Abstract