Publicacoes - INESC TEC

Publicações

Publicações por Vítor Santos Costa

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

1994

ACE: And/Or-parallel Copying-based Execution of Logic Programs

Autores
Gupta, G; Hermenegildo, MV; Pontelli, E; Costa, VS;

Publicação
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994

Abstract

1995

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming

Autores
Gupta, G; Costa, VS; Pontelli, E;

Publicação
Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995

Abstract