CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 1992


Articles in Refereed Journals:

  1. 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.

  2. 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:

  1. 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.

  2. 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.

  3. 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:

  1. 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:

  1. 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:

  1. 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.

  2. 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:

  1. 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.

  2. 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.

  3. 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:

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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 up previous Clip_button.gif
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