CLIP Group's Publications in 1992
Articles in Refereed Journals:
- M. Hermenegildo, R. Warren, S. K. Debray.
Global Flow Analysis as a Practical Compilation
Tool.
Journal of Logic Programming,
Vol. 13,
Num. 4,
pages 349-367,
Elsevier - North Holland,
August
1992.
- K. Muthukumar, M. Hermenegildo.
Compile-time Derivation of Variable Dependency
Using Abstract Interpretation.
Journal of Logic Programming,
Vol. 13,
Num. 2/3,
pages 315-347,
Elsevier - North-Holland,
July
1992.
Articles in Refereed Conferences:
- H. Kuchen, J. Moreno-Navarro, M. Hermenegildo.
Independent AND-Parallel Implementation of
Narrowing.
Proc. 4th Int'l. Symposium on Programming Language
Implementation and Logic Programming,
LNCS,
Num. 631,
pages 24-38,
Springer-Verlag,
August
1992.
- G. Gupta, M. Hermenegildo.
Recomputation based Implementation of And-Or
Parallel Prolog.
Proc. of the 1992 International Conference on Fifth
Generation Computer Systems,
pages 770-782,
Institute for New Generation Computer Technology
(ICOT),
June
1992.
- F. Bueno, M. Hermenegildo.
An Automatic Translation Scheme from Prolog to the
Andorra Kernel Language.
Proc. of the 1992 International Conference on Fifth
Generation Computer Systems,
Vol. 2,
pages 759-769,
Institute for New Generation Computer Technology
(ICOT),
June
1992.
Books and Monographs:
- M. Hermenegildo, J. Moreno-Navarro.
Actas del Primer Congreso Nacional de
Programaci'on Declarativa.
398 pages,
FIM/UPM, Madrid, Spain,
September
1992.
Invited Papers and Tutorials:
- M. García de la Banda, M. V. Hermenegildo.
A Practical Application of Sharing and Freeness
Inference.
1992 Workshop on Static Analysis WSA'92,
BIGRE,
Num. 81-82,
pages 118-125,
IRISA-Beaulieu,
September
1992.
Articles in Books and Other Collections:
- M. Hermenegildo.
Research on Parallel Logic Language
Implementation and Architecture at ICOT.
The ICOT Research Exchange Report, Vol. 2,
pages 157-174,
Institute for New Generation Computer Technology
(ICOT),
June
1992.
- M. Hermenegildo.
Fundamentos y Aplicación Automática del
Paralelismo en Inteligencia Artificial.
Inteligencia Artificial: Fundamentos Teóricos y
Aplicaciones,
pages 127-153,
Real Academia de Ciencias Exactas, Físicas y
Naturales,
March
1992.
Publications in Refereed Workshops:
- M. Carro, L. Gómez, M. Hermenegildo.
Implementation of an Event Driven Scheme for
Visualizing Parallel Execution of Logic
Programs.
JICSLP'92 Workshop on Parallel Execution,
15 pages,
November
1992.
- M. Carro, L. Gómez, M. Hermenegildo.
Implementation of an Event Driven Scheme for
Visualizing Parallel Execution of Logic
Programs.
Primer Congreso Nacional de Programación
Declarativa,
pages 262-278,
FIM/UPM,
September
1992.
- G. Gupta, M. Hermenegildo, V. Santos-Costa.
Generalized Stack Copying for And-Or Parallel
Implementations.
JICSLP'92 Workshop on Parallel Execution,
15 pages,
1992.
Technical Reports and Manuals:
- G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
Num. CLIP7/92.0,
U. of Madrid (UPM) and New Mexico S.U.,
November
1992.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Constraint Logic Programs.
Num. CLIP6/92.0,
U. of Madrid (UPM),
November
1992.
- K. Marriott, M. García de la Banda, M. V. Hermenegildo.
Analyzing Logic Programs with Dynamic
Scheduling.
Num. CLIP6/93.1,
T.U. of Madrid (UPM),
October
1992.
- M. Fernández, M. Carro, M. Hermenegildo.
IDRA (IDeal Resource Allocation): A Tool for
Computing Ideal Speedups.
Num. FIM26.3/AI/92,
16 pages,
School of Computer Science, Technical University of
Madrid,
September
1992.
Presented at the ICLP'94 Post Conference Workshop on
Parallel and Data Parallel Execution of Logic
Programs.
- D. Cabeza, M. Hermenegildo.
Extracting Non-Strict Independent And-Parallelism
Using Sharing and Freeness Information.
Num. CLIP5/92.0,
U. of Madrid (UPM),
August
1992.
- M. García de la Banda, M. V. Hermenegildo.
A Practical Approach to the Global Analysis of
Constaint Logic Programs.
Num. without,
U. of Madrid (UPM),
April
1992.
Presented at the 1992 FGCS Post-Conference Workshop on
Constraint Logic Programming.
- G. Janssens, M. V. Hermenegildo, F. Bueno, M. García de la Banda, A. Mulkers.
A Review of some Abstract Interpretation
Systems.
Num. CW143,
Department of Computer Science, Katholieke
Universiteit Leuven,
February
1992.
- M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Combined Sharing and Freeness
Analysis using Abstract Interpretation.
Num. CLIP1/92.0,
U. of Madrid (UPM),
January
1992.
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