Publications

Publications by CRACS

1993

Performance of the Compiler-Based Andorra-I System

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

Publication
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

Authors
Gupta, G; Costa, VS;

Publication
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

Authors
Gupta, G; Costa, VS;

Publication
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

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

Publication
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

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

Publication
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

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

Publication
ACM SIGPLAN Notices - SIGPLAN Not.

Abstract