CLIP Group's Publications in 1991
Articles in Refereed Journals:
- M. Hermenegildo, K. Greene.
The &-Prolog System: Exploiting Independent
And-Parallelism.
New Generation Computing,
Vol. 9,
Num. 3,4,
pages 233-257,
Springer Verlag,
1991.
Articles in Refereed Conferences:
- K. Shen, M. Hermenegildo.
A Simulation Study of Or- and Independent
And-parallelism.
International Logic Programming Symposium,
pages 135-151,
MIT Press,
October
1991.
- G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo.
IDIOM: Integrating Dependent And-, Independent
And-, and Or-parallelism.
1991 International Logic Programming Symposium,
pages 152-166,
MIT Press,
October
1991.
- F. Giannotti, M. Hermenegildo.
A Technique for Recursive Invariance Detection
and Selective Program Specialization.
Proc. 3rd Int'l. Symposium on Programming Language
Implementation and Logic Programming,
LNCS,
Num. 528,
pages 323-335,
Springer-Verlag,
August
1991.
- K. Muthukumar, M. Hermenegildo.
Combined Determination of Sharing and Freeness of
Program Variables Through Abstract
Interpretation
(also available in ps).
International Conference on Logic Programming (ICLP
1991),
pages 49-63,
MIT Press,
June
1991.
Books and Monographs:
- F. Bueno Carrillo.
Traducción Automática de Prolog al Andorra
Kernel Language (Automatic Translation from
Prolog to the Andorra Kernel Language).
Ms. Thesis, T.U. of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1991.
- M. García de la Banda.
Implementación de un Intérprete Abstracto de
Programas Prolog sobre el Dominio “sharing +
freeness” (Implementation and Evaluation of an
Abstract Interpreter over the “sharing +
freeness” Domain).
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1991.
Publications in Refereed Workshops:
- G. Gupta, M. Hermenegildo.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
ICLP '91 Workshop on Parallel Execution of Logic
Programs,
LNCS,
Num. 569,
pages 146-159,
Springer-Verlag,
December
1991.
- M. Hermenegildo, M. Carro.
Experimenting with Independent And-Parallel
Prolog using Standard Prolog.
Jornadas Nacionales de Programación Declarativa,
pages 478-497,
U. Malaga,
October
1991.
- M. García de la Banda, M. V. Hermenegildo.
Some Considerations on the Compile-Time Analysis
of Constraint Logic Programs.
Jornadas Nacionales de Programación Declarativa,
pages 97-117,
U. Malaga,
October
1991.
- F. Bueno, M. Hermenegildo.
Towards an Automatic Translation Algorithm from
Prolog to the Andorra Kernel Language.
Proc. of the 1991 GULP Conference on Logic
Programming,
pages 489-505,
Italian Association for Logic Programming,
June
1991.
Technical Reports and Manuals:
- M. Hermenegildo, M. Carro.
Experimenting with Independent And-Parallel
Prolog using Standard Prolog.
24 pages,
U. of Madrid (UPM),
October
1991.
Presented at the 1991 Spanish Workshop on Declarative
Programming, Malaga.
- M. Olmedilla, F. Bueno, M. Hermenegildo.
Automatic Exploitation of Non-Determinate
Independent And-Parallelism in the Basic
Andorra Model.
Num. FIM106.1/AI/91,
Facultad de Informatica, U. P. Madrid, Spain,
October
1991.
- F. Bueno, M. Hermenegildo.
Results on Automatic Translation from Prolog to the
Andorra Kernel Language.
Num. CLIP2/91.0,
T.U. of Madrid (UPM),
September
1991.
theory in technical report, “Towards an Automatic
Translation Algorithm from Prolog to the Andorra
Kernel Language”.
- G. Gupta, M. Hermenegildo.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
Num. without,
T.U. of Madrid (UPM),
June
1991.
also in Proc. ICLP91 Workshop on Parallel Execution of
Logic Programs.
- F. Bueno, M. Hermenegildo.
An Automatic Translation Scheme from Prolog to
the Andorra Kernel Language.
Num. CLIP1/91.0,
T.U. of Madrid,
June
1991.
also(first version) in Proc. GULP91, results and benchmarks
in “Results on Automatic Translation from Prolog to
the Andorra Kernel Language”.
- M. Carro, L. Gómez, M. Hermenegildo.
VISANDOR: A Tool for Visualizing
And-/Or-parallelism in Logic Programs.
Num. CLIP9/91.0,
17 pages,
T.U. of Madrid (UPM),
June
1991.
- G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo.
IDIOM: A Model Intergrating Dependent-,
Independent-, and Or-parallelism.
Num. CLIP8/91.0,
University of Bristol,
March
1991.
- F. Giannotti, M. Hermenegildo.
A Technique for Recursive Invariance Detection
and Selective Program Specialization.
Num. CLIP7/91.0,
U. of Madrid (UPM),
February
1991.
- M. García de la Banda, M. V. Hermenegildo.
Analyzing Constraint Logic Programs.
Num. CLIP4/91.0,
U. of Madrid (UPM),
January
1991.
Presented in ICLP-91 Workshop on Constraint Logic
Programming, Paris.
Next: CLIP Group's Publications in 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