References

1

F. Bueno and M. Hermenegildo. Towards an Automatic Translation Algorithm from Prolog to the Andorra Kernel Language. In Proc. of the 1991 GULP Conference on Logic Programming, pages 489-505. Italian Association for Logic Programming, June 1991.

2

F. Bueno and M. Hermenegildo. An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. In Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pages 759-769. Institute for New Generation Computer Technology (ICOT), June 1992.

3

C. Carreras and M. Hermenegildo. Towards an Analytical Model of the Data Diffusion Machine. Technical report, UPM (PEPMA ESPRIT Project technical report), 1990.

4

G. Gupta and M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. In ICLP '91 Workshop on Parallel Execution of Logic Programs, LNCS 569, pages 146-159. Springer-Verlag, December 1991.

5

G. Gupta, V. Santos-Costa, R. Yang, and M. Hermenegildo. IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism. In 1991 International Logic Programming Symposium, pages 152-166. MIT Press, October 1991.

6

M. Hermenegildo. Compile-time Analysis Requirements for the Extended Andorra Model. In Sverker Jansson, editor, Parallel Logic Programming Workshop, Box 1263, S-163 13 Spanga, SWEDEN, June 1990. SICS.

7

M. Hermenegildo and K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. In 1990 International Conference on Logic Programming, pages 253-268. MIT Press, June 1990.

8

M. Hermenegildo and F. Rossi. Non-Strict Independent And-Parallelism. In 1990 International Conference on Logic Programming, pages 237-252. MIT Press, June 1990.

9

K. Muthukumar and M. Hermenegildo. Deriving A Fixpoint Computation Algorithm for Top-down Abstract Interpretation of Logic Programs. Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, April 1990.

10

K. Muthukumar and M. Hermenegildo. The CDG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. In Int'l. Conference on Logic Programming, pages 221-237. MIT Press, June 1990.

11

K. Muthukumar and M. Hermenegildo. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. In 1991 International Conference on Logic Programming, pages 49-63. MIT Press, June 1991.

12

K. Muthukumar and M. Hermenegildo. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming, 13(2 and 3):315-347, July 1992.

13

M. Olmedilla, F. Bueno, and M. Hermenegildo. Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. In Logic Program Synthesis and Transformation, 1993, pages 177-195. Workshop in Computing Series, Springer-Verlag, July 1993.

14

V. Santos-Costa, D.H.D. Warren, and R. Yang. The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. In 1991 International Conference on Logic Programming, pages 443-456. MIT Press, June 1991.

15

K. Shen and M. Hermenegildo. A Simulation Study of Or- and Independent And-parallelism. In 1991 International Logic Programming Symposium. MIT Press, October 1991.