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

CLIP Group's Publications in 1994


Articles in Refereed Conferences:

  1. F. Bueno, M. García de la Banda, M. V. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. International Symposium on Logic Programming, pages 320-336, MIT Press, November 1994.

  2. F. Bueno, M. V. Hermenegildo, U. Montanari, F. Rossi. From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics. Fourth International Conference on Algebraic and Logic Programming, LNCS, Num. 850, pages 114-132, Springer-Verlag, September 1994.

  3. F. Bueno, M. García de la Banda, M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs (also available in ps). First International Symposium on Parallel Symbolic Computation, PASCO'94, pages 63-73, World Scientific Publishing Company, September 1994.

  4. P. Lopez-Garcia, M. V. Hermenegildo, S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs (also available in ps). Proc. of First International Symposium on Parallel Symbolic Computation, PASCO'94, pages 133-144, World Scientific, September 1994.

  5. D. Cabeza, M. Hermenegildo. Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. 1994 International Static Analysis Symposium, LNCS, Num. 864, pages 297-313, Springer-Verlag, September 1994.

  6. C. Carreras, C. López-Barrio, M. Hermenegildo. Analytic Model of a Cache-only Memory Architecture. Parallel Architectures and Languages Europe - PARLE'94, LNCS, Num. 817, pages 336-351, Springer-Verlag, July 1994.

  7. M. Codish, M. García de la Banda, M. Bruynooghe, M. V. Hermenegildo. Goal Dependent vs Goal Independent Analysis of Logic Programs. Fifth International Conference on Logic Programming and Automated Reasoning, LNAI, Num. 822, pages 305-320, Springer-Verlag, July 1994.

  8. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. International Conference on Logic Programming, pages 93-110, MIT Press, June 1994.

  9. U. Montanari, F. Rossi, F. Bueno, M. García de la Banda, M. Hermenegildo. Towards a Concurrent Semantics-based Analysis of CC and CLP. Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 151-161, Springer-Verlag, May 1994.

  10. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System (also available in ps). Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 123-133, Springer-Verlag, May 1994.

  11. K. Marriott, M. García de la Banda, M. V. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling (also available in ps). 20th. Annual ACM Conf. on Principles of Programming Languages, pages 240-254, ACM, January 1994.


Books and Monographs:

  1. F. Bueno Carrillo. Automatic Optimisation and Parallelisation of Logic Programs through Program Transformation. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), October 1994.

  2. M. García de la Banda. Independence, Global Analysis, and Parallelism in Dynamically Scheduled Constraint Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, September 1994.

  3. M. García de la Banda, M. Hermenegildo. Proceedings of the Second COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 96 pages, FIM/UPM, Madrid, Spain, September 1994.

  4. M. Hermenegildo, J. Penjam. Programming Language Implementation and Logic Programming - Proc. of the 1994 Conference. LNCS, Num. 844, 468 pages, Springer-Verlag, September 1994.

  5. M. Bruynooghe, S.K. Debray, M. V. Hermenegildo, M. Maher. The Journal of Logic Programming - Special Issue: Ten Years of Logic Programming. Vol. 19/20, 714 pages, Elsevier - North-Holland, May 1994.

  6. G. Puebla. Simplification and Specialization of Logic Programs based on Abstract Interpretation. Ms. Thesis, School of Computer Science. Technical University of Madrid, January 1994. (in Spanish).


Invited Papers and Tutorials:

  1. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin. Estimating the Computational Cost of Logic Programs (also available in ps). Static Analysis Symposium, SAS'94, LNCS, Num. 864, pages 255-265, Springer-Verlag, September 1994.


Articles in Books and Other Collections:

  1. K. Shen, M. Hermenegildo. Divided We Stand: Parallel Distributed Stack Memory Management. Implementations of Logic Programming Systems, pages 185-203, Kluwer Academic Publishers, 1994.


Publications in Refereed Workshops:

  1. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Proc. of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies, 15 pages, U. of Madrid, September 1994. Also provided as attachment UPM-1 of deliverable D4.3/2.

  2. M. Hermenegildo, M. Carro. A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 16 pages, June 1994.

  3. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 16 pages, June 1994.

  4. D. Tang, E. Pontelli, G. Gupta, M. Carro. Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 14 pages, Uppsala University, CS Department, Box 311, S-751 Uppsala, Sweden, June 1994.

  5. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel Concurrent Constraint System. Proc. of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming, U. of Oregon, March 1994.


Technical Reports and Manuals:

  1. M. V. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey. Incremental Analysis of Logic Programs. Num. CLIP 14/94.0, Computer Science Dept., Technical U. of Madrid (UPM), October 1994.

  2. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo. Non-Failure Analysis for Logic Programs. Num. CLIP14/94.0, T.U. of Madrid (UPM), October 1994.

  3. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Dynamically Scheduled Languages. Num. CLIP12/94.0, T. University of Madrid (UPM), September 1994. Presented at the ICLP'93 Post Conference Workshop on Concurrent Constraint Logic Programming.

  4. F. Bueno, S. K. Debray, M. García de la Banda, M. Hermenegildo. QE-Andorra: A Quiche-Eating Implementation of the Basic Andorra Model. Num. CLIP13/94.0, T.U. of Madrid (UPM), September 1994.

  5. F. Bueno, F. Rossi, M. V. Hermenegildo. Concurrent Semantics Based Optimizations of cc and CLP. Num. CLIP2/93.2, T.U. of Madrid (UPM), September 1994.

  6. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Search Space Preservation in CLP Languages. Num. CLIP11/94.0, T. University of Madrid (UPM), September 1994.

  7. F. Bueno, D. Cabeza, M. V. Hermenegildo, S. Prestwich, G. Puebla. Some Improvements to an Abstract Syntax for Analysis and Optimization of Full (Parallel) Prolog. Num. CLIP 8/94.0, Computer Science Dept., Technical U. of Madrid (UPM), September 1994.

  8. G. Puebla, M. V. Hermenegildo. An Implementation Technique for Multiple Program Specialization. Num. CLIP7/94.0, Computer Science Dept., Technical U. of Madrid (UPM), August 1994.

  9. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Num. CLIP 5/94.0, 17 pages, School of Computer Science, Technical University of Madrid (UPM), June 1994. Presented at the ILPS'94 Post Conference Workshop on Design and Implementation of Parallel Logic Programming Systems, Available from https://www.cliplab.org/.

  10. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution. Num. CLIP6/94.0, T.U. of Madrid (UPM), June 1994.

  11. M. Hermenegildo. A Simple, Distributed Version of the &-Prolog System. School of Computer Science, Technical University of Madrid (UPM), April 1994. Available from https://www.cliplab.org/.

  12. M. V. Hermenegildo, P. Lopez-Garcia. A Technique for Dynamic Term Size Computation via Program Transformation. Num. CLIP 8/93.1(94), School of Computer Science, Technical University of Madrid, March 1994.

  13. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Num. CLIP4/94.0, T.U. of Madrid (UPM), March 1994.

  14. F. Bueno, M. García de la Banda, M. V. Hermenegildo. The PLAI Abstract Interpretation System. Num. CLIP2/94.0, Computer Science Dept., Technical U. of Madrid (UPM), February 1994.

  15. F. Bueno, M. García de la Banda, M. V. Hermenegildo, U. Montanari, F. Rossi. From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics. Num. CLIP1/94.0, T.U. of Madrid (UPM), January 1994.

  16. F. Bueno, M. García de la Banda, M. V. Hermenegildo. The MEL, UDG, and CDG Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-Parallelism: A Comparative Study. Num. CLIP3/94.0, T.U. of Madrid (UPM), January 1994.

  17. M. García de la Banda, M. V. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. U. of Madrid (UPM), 1994.

  18. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Logic Programs with Dynamic Scheduling. U. of Madrid (UPM), 1994.


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