Publicacoes - INESC TEC

Publicações

Publicações por CRACS

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

1992

Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog

Autores
Gupta, G; Costa, VS;

Publicação
Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, SPDP 1992, Arlington, Texas, USA, December 1-4, 1992.

Abstract

1992

And-Or Parallelism in Full Prolog with Paged Binding Arrays

Autores
Gupta, G; Costa, VS;

Publicação
PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings

Abstract

1992

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog

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

Publicação
Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992

Abstract

1991

An History Based Interface

Autores
Leal, JP; Damas, L; Moreira, N;

Publicação
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6

Abstract

1991

Andorra I

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

Publicação
ACM SIGPLAN Notices - SIGPLAN Not.

Abstract