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

CLIP Group's Publications in 1993


Articles in Refereed Journals:

  1. G. Gupta, M. Hermenegildo, V. Santos-Costa. And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Computing, Vol. 11, Num. 3-4, pages 297-323, Springer Verlag, 1993.


Articles in Refereed Conferences:

  1. M. García de la Banda, M. V. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 437-455, MIT Press, October 1993.

  2. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 130-146, MIT Press, Cambridge, MA, October 1993.

  3. M. Olmedilla, F. Bueno, M. Hermenegildo. Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. Logic Program Synthesis and Transformation, 1993, Workshops in Computing, pages 177-195, Springer-Verlag, July 1993.

  4. M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda, M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pages 194-206, ACM, June 1993.

  5. M. Carro, L. Gómez, M. Hermenegildo. Some Paradigms for Visualizing Parallel Execution of Logic Programs. 1993 International Conference on Logic Programming, pages 184-201, MIT Press, June 1993.


Books and Monographs:

  1. D. Cabeza Gras. Parallelization of Prolog Programs Using the Notion of Non-Strict Independence. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1993.

  2. M. Carro. Implementation of Non-Determinism and Optimization of the Memory Usage in the And-Parallel Execution of Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, 99 pages, December 1993. In Spanish.

  3. P. Lopez-Garcia. A System of Granularity Control in Parallel Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1993.

  4. F. Bueno, M. Hermenegildo, J. Moreno-Navarro. Proceedings of the First COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 78 pages, FIM/UPM, Madrid, Spain, May 1993.


Articles in Books and Other Collections:

  1. M. Hermenegildo. The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. Knowledge Oriented Software Design, pages 207-221, North-Holland, September 1993.


Publications in Refereed Workshops:

  1. P. Lopez-Garcia, M. V. Hermenegildo. Towards Dynamic Term Size Computation via Program Transformation. Second Spanish Conference on Declarative Programming, pages 73-93, IIIA/CSIC, September 1993.

  2. M. Hermenegildo, The CLIP Group. Towards CIAO-Prolog - A Parallel Concurrent Constraint System. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, 10 pages, FIM/UPM, Madrid, Spain, June 1993.

  3. V. Dumortier, G. Janssens, W. Simoens, M. García de la Banda. Combining a Definiteness and a Freeness Abstraction for CLP Languages. Workshop on Logic Program Synthesis and Transformation, 1993.


Technical Reports and Manuals:

  1. F. Bueno, M. García de la Banda, M. V. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. Num. CLIP7/93.0, T.U. of Madrid (UPM), October 1993.

  2. D. Cabeza, M. Hermenegildo. Towards Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. Num. CLIP5/92.1, U. of Madrid (UPM), August 1993.

  3. F. Bueno, M. García de la Banda, M. V. Hermenegildo. Compile-time Optimizations and Analysis Requirements for CC Programs. Num. CLIP6/93.0, T.U. of Madrid (UPM), July 1993.

  4. F. Bueno, M. García de la Banda, M. V. Hermenegildo, F. Rossi, U. Montanari. Towards True Concurrency Semantics Based Program Transformation between CLP and CC. Num. CLIP2/93.1(94), T.U. of Madrid (UPM), July 1993.

  5. F. Bueno, M. García de la Banda, D. Cabeza, M. V. Hermenegildo. The &-Prolog Compiler System -- Automatic Parallelization Tools for LP. Num. CLIP5/93.0, Computer Science Dept., Technical U. of Madrid (UPM), June 1993.

  6. F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. Lopez-Garcia, M. García de la Banda, M. V. Hermenegildo, L. Gómez, S. Prestwich, S.-W. Yan. A Proposal for an Interchange Abstract Syntax for (Parallel) Prolog. Num. CLIP3/93.0, 33 pages, Computer Science Dept., Technical U. of Madrid (UPM), June 1993.

  7. P. Lopez-Garcia, M. V. Hermenegildo. An Automatic Sequentializer Based on Program Transformation. T.U. of Madrid (UPM), April 1993.

  8. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution of Logic Programs. Num. CLIP 4/93.0, T.U. of Madrid (UPM), April 1993. Presented at the ICLP'93 Post Conference Workshop on Logic Program Implementation.

  9. P. Lopez-Garcia, M. V. Hermenegildo. Dynamic Term Size Computation in Logic Programs via Program Transformation. Num. CLIP 8/93.0, T.U. of Madrid (UPM), April 1993. Presented at the 1993 COMPULOG Area Meeting on Parallelism and Implementation Technologies.

  10. M. Carro, L. Gómez, M. Hermenegildo. Using VisAndOr to Debug and Understand Parallel Execution of Logic Programs. Num. CLIP 1/93.0, School of Computer Science, Technical University of Madrid, February 1993.

  11. U. Montanari, F. Rossi, F. Bueno, M. García de la Banda, M. V. Hermenegildo. Contextual Nets and Constraint Logic Programming: Towards a True Concurrent Semantics for CLP. Num. CLIP 2/93.0, T.U. of Madrid (UPM), January 1993. Presented at the ICLP'93 Post Conference Workshop on Concurrent Constraint Logic Programming.

  12. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. New Mexico State University, Computer Science Dept., 1993.


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