CLIP Group's Publications in 1990
Articles in Refereed Conferences:
- S. K. Debray, N.-W. Lin, M. V. Hermenegildo.
Task Granularity Analysis in Logic Programs.
Proc. 1990 ACM Conf. on Programming Language
Design and Implementation (PLDI),
pages 174-188,
ACM Press,
June
1990.
- K. Muthukumar, M. Hermenegildo.
The CDG, UDG, and MEL Methods for Automatic
Compile-time Parallelization of Logic
Programs for Independent And-parallelism.
Int'l. Conference on Logic Programming,
pages 221-237,
MIT Press,
June
1990.
- M. Hermenegildo, F. Rossi.
Non-Strict Independent And-Parallelism.
1990 International Conference on Logic Programming,
pages 237-252,
MIT Press,
Association for Logic Programming,
June
1990.
- M. Hermenegildo, K. Greene.
&-Prolog and its Performance: Exploiting
Independent And-Parallelism.
1990 International Conference on Logic Programming,
pages 253-268,
MIT Press,
Association for Logic Programming,
June
1990.
- M. Hermenegildo.
Bridging the Performance Gap between Declarative
and Imperative Languages.
4th. International Symposium on Knowledge Engineering,
pages 91-104,
Xerox Corp.,
May
1990.
Books and Monographs:
- S. K. Debray, M. V. Hermenegildo.
Logic Programming - Proc. of the North American
Conference.
850 pages,
MIT Press, Cambridge, MA,
October
1990.
Publications in Refereed Workshops:
- M. Hermenegildo.
Compile-time Analysis Requirements for the Extended
Andorra Model.
Parallel Logic Programming Workshop,
SICS,
June
1990.
Technical Reports and Manuals:
- K. Muthukumar, M. Hermenegildo.
Combined Determination of Sharing and Freeness of
Program Variables Through Abstract
Interpretation.
Num. STP-368-90,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
December
1990.
- K. Shen, M. Hermenegildo.
A Simulation Study of Or- and Independent
And-parallelism.
Num. FIM-60.1/AI/90,
Facultad de Informatica, U. P. Madrid, 28660 Boadilla
del Monte, Madrid, Spain,
October
1990.
- K. Muthukumar, M. Hermenegildo.
Deriving A Fixpoint Computation Algorithm for
Top-down Abstract Interpretation of Logic
Programs.
Num. ACT-DC-153-90,
Microelectronics and Computer Technology Corporation
(MCC), Austin, TX 78759,
April
1990.
- C. Carreras, M. Hermenegildo.
Towards an Analytical Model of the Data Diffusion
Machine.
UPM (PEPMA ESPRIT Project technical report),
1990.
- M. Hermenegildo, R. I. Nasr.
A Tool for Visualizing Independent
And-parallelism in Logic Programs.
Num. CLIP1/90.0,
T.U. of Madrid (UPM),
1990.
Presented at the NACLP-90 Workshop on Parallel Logic
Programming, Austin, TX.
Next: CLIP Group's Publications up Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Thu Nov 21 03:36:42 PM CET 2024