References
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.
Alvaro German Puebla Sanchez
Tue Dec 27 15:48:34 MET 1994