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

CLIP Group's Publications in 1992


Articles in First-Level Refereed Conferences and Journals:

  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.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

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

    Citeseer: position 359/1221 (top 29%), impact 0.85. Average position: top 29%.

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

    Citeseer: position 359/1221 (top 29%), impact 0.85. Average position: top 29%.


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. 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. 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. 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. 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. 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. Hermenegildo. Effectiveness of Combined Sharing and Freeness Analysis using Abstract Interpretation. Num. CLIP1/92.0, U. of Madrid (UPM), January 1992.

Last updated on Sun Apr 23 12:26:26 CEST 2017