Source: http://cliplab.org/clippubsbytopic/node7.html
Timestamp: 2019-04-23 22:18:03+00:00

Document:
N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis. Science of Computer Programming, Vol. 155, pages 3-26, Elsevier North-Holland, April 2018. Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming.
JCR: position (ave) top 42%, impact (ave) 0.80, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 185/1221 (top 15%), impact 1.22. Average position: top 26%.
M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming, Vol. 12, Num. 1-2, pages 219-252, Cambridge University Press, January 2012. http://arxiv.org/abs/1102.5497.
M. Marron, D. Kapur, M. V. Hermenegildo. Identification of Logically Related Heap Regions. ISMM'09: Proceedings of the 8th international symposium on Memory management, ACM Press, June 2009.
CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.
M. Marron, M. Hermenegildo, D. Kapur, D. Stefanovic. Efficient Context-Sensitive Shape Analysis with Graph-Based Heap Models. International Conference on Compiler Construction (CC 2008), Lecture Notes in Computer Science, 15 pages, Springer, April 2008.
CORE: A. CiteseerX position (ave) top 26%, impact (ave) 0.271. Average position: top 30%.
M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo. A Static Heap Analysis for Shape and Connectivity. Languages and Compilers for Parallel Computing (LCPC'06), Lecture Notes in Computer Science, Vol. 4382, pages 345-363, Springer, November 2006.
Citeseer: position 186/1221 (top 15%), impact 1.22. Average position: top 15%.
M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming, Vol. 58, Num. 1-2, pages 115-140, Elsevier North-Holland, October 2005.
M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in CLP Languages (also available in ps). ACM Transactions on Programming Languages and Systems, Vol. 22, Num. 2, pages 269-339, ACM Press, March 2000.
G. Puebla, M. V. Hermenegildo. Abstract Multiple Specialization and its Application to Program Parallelization (also available in ps). J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs, Vol. 41, Num. 2&3, pages 279-316, Elsevier - North Holland, November 1999.
F. Bueno, M. García de la Banda, M. V. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems, Vol. 21, Num. 2, pages 189-238, ACM Press, March 1999.
K. Muthukumar, F. Bueno, M. García de la Banda, M. Hermenegildo. Automatic Compile-time Parallelization of Logic Programs for Restricted, Goal-level, Independent And-parallelism. Journal of Logic Programming, Vol. 38, Num. 2, pages 165-218, Elsevier - North-Holland, February 1999.
F. Bueno, M. V. Hermenegildo, U. Montanari, F. Rossi. Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Science of Computer Programming, Vol. 30, pages 51-82, North-Holland, January 1998. Special CCP95 Workshop issue.
P. López-García, M. V. Hermenegildo. Efficient Term Size Computation for Granularity Control. International Conference on Logic Programming, pages 647-661, MIT Press, Cambridge, MA, June 1995.
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.
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.
CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. Average position: top 22%.
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.
CORE: A. CiteseerX position (ave) top 22%, impact (ave) 0.297. Average position: top 27%.
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.
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.
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.
K. Muthukumar, M. Hermenegildo. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation (also available in ps). International Conference on Logic Programming (ICLP 1991), pages 49-63, MIT Press, June 1991.
S. K. Debray, N.-W. Lin, M. V. Hermenegildo. Task Granularity Analysis in Logic Programs. Proc. 1990 ACM Conf. on Programming Language Design and Implementation (PLDI), pages 174-188, ACM Press, June 1990.
CORE: A. Citeseer: position 3/1221 (top 0%), impact 2.89. Average position: top 17%.
K. Muthukumar, M. Hermenegildo. The CDG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. Int'l. Conference on Logic Programming, pages 221-237, MIT Press, June 1990.
K. Muthukumar, M. Hermenegildo. Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. 1989 North American Conference on Logic Programming, pages 166-189, MIT Press, October 1989.
R. Warren, M. Hermenegildo, S. K. Debray. On the Practicality of Global Flow Analysis of Logic Programs. Fifth International Conference and Symposium on Logic Programming, pages 684-699, MIT Press, August 1988.
D. Cabeza, M. Hermenegildo. Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theoretical Computer Science, Vol. 410, Num. 46, pages 4704-4723, Elsevier Science, October 2009.
JCR: position (ave) top 59%, impact (ave) 0.60, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 338/1221 (top 28%), impact 0.91. Average position: top 36%.
M. Marron, M. Méndez-Lojo, M. Hermenegildo, D. Stefanovic, D. Kapur. Sharing Analysis of Arrays, Collections, and Recursive Structures. ACM WS on Program Analysis for Software Tools and Engineering (PASTE'08), ACM, November 2008.
CORE: B. CiteseerX position (ave) top 14%, impact (ave) 0.245. Average position: top 39%.
M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing Analysis for Java-style Programs. 9th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'08), LNCS, Num. 4905, pages 172-187, Springer-Verlag, January 2008.
CORE: B. CiteseerX position (ave) top 14%, impact (ave) 0.330. Average position: top 39%.
M. Marron, D. Stefanovic, M. Hermenegildo, D. Kapur. Heap Analysis in the Presence of Collection Libraries. ACM WS on Program Analysis for Software Tools and Engineering (PASTE'07), ACM, June 2007.
J. Navas, F. Bueno, M. V. Hermenegildo. Efficient Top-Down Set-Sharing Analysis Using Cliques. 8th International Symposium on Practical Aspects of Declarative Languages (PADL'06), LNCS, Num. 2819, pages 183-198, Springer-Verlag, January 2006.
M. Hermenegildo. Parallelizing Irregular and Pointer-Based Computations Automatically: Perspectives from Logic and Constraint Programming. Parallel Computing, Vol. 26, Num. 13-14, pages 1685-1708, Elsevier Science, December 2000.
JCR: position (ave) top 46%, impact (ave) 0.75, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 519/1221 (top 43%), impact 0.63. Average position: top 36%.
G. Puebla, M. V. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. Logic Program Synthesis and Transformation, LNCS, Num. 1207, pages 169-186, Springer-Verlag, 1997.
P. López-García, M. V. Hermenegildo, S. K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, Vol. 21, Num. 4-6, pages 715-734, Academic Press, 1996.
JCR: position (ave) top 54%, impact (ave) 0.64, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 362/1221 (top 30%), impact 0.85. Average position: top 35%.
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.
M. Teresa Trigo de la Vega. Fuzzy Granularity Control in Parallel/Distributed Computing. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 66 pages, September 2010.
D. Cabeza. An Extensible, Global Analysis Friendly Logic Programming System. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, August 2004.
Alberto Díez Zurdo. Goal Reordering in Logic Programs with Unrestricted Parallelism and Explicit Dependencies. Ms. Thesis, School of Computer Science, Technical University of Madrid, September 2002. In Spanish.
Alberto Díez Zurdo. Paralelización Automática de Programas Lógicos en Tiempo de Compilación con Dependencias Explícitas. Ms. Thesis, Universidad Politécnica de Madrid (UPM), Facultad de Informática, Madrid, 28660, September 2002. In Spanish.
P. López-García. Non-failure Analysis and Granularity Control in Parallel Execution of Logic Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2000.
G. Puebla. Advanced Compilation Techniques based on Abstract Interpretation and Program Transformation (also available in ps). Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, November 1997.
F. Bueno Carrillo. Automatic Optimisation and Parallelisation of Logic Programs through Program Transformation. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), October 1994.
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.
P. López-García. A System of Granularity Control in Parallel Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1993.
M. V. Hermenegildo, M. Carro, P. Lopez, J.F. Morales, J. Arias, I. Garcia-Contreras, M. Klemen, N. Stulova. 25 Years of Ciao (abstract of invited tutorial). Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.
M. V. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. López-García. Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints. DAMP'07, ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, pages 1-1, ACM, January 2007. (abstract of invited talk).
M. V. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, Num. 2694, pages 127-152, Springer-Verlag, June 2003.
M. Hermenegildo. Parallelizing Irregular and Pointer-Based Computations Automatically: Results in Logic and Constraint Programming (also available in ps). Constructive Methods for Parallel Programming, Advances in Computation: Theory and Practice, 1 pages, Nova Science, 2002. (abstract of invited talk).
M. Hermenegildo. Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Proceedings of EUROPAR'97, LNCS, Vol. 1300, pages 31-46, Springer-Verlag, August 1997.
M. V. Hermenegildo, G. Puebla. Applying Multiple Abstract Specialization to Program Parallelization (abstract). Partial Evaluation- Dagstuhl Seminar Report, Num. 134, 1 pages, IBFI - Dagstuhl, February 1996.
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.
T. Trigo, P. López-García, S. Muñoz-Hernandez. A Fuzzy Approach to Resource Aware Automatic Parallelization. Computational Intelligence, Studies in Computational Intelligence (SCI), Vol. 399, pages 229-245, Springer Berlin Heidelberg, 2012.
M. V. Hermenegildo, F. Bueno, M. Carro, P. López, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Vol. 5065, pages 209-237, Springer-Verlag, June 2008.
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.
T. Trigo, P. López-García, S. Muñoz-Hernandez. Towards Fuzzy Granularity Control in Parallel/Distributed Computing. International Conference on Fuzzy Computation (ICFC 2010), pages 43-55, SciTePress, October 2010.
M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo. Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Springer-Verlag, August 2008.
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.
P. López-García, 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.
M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proceedings for the International Workshop on Scripts to Programs (STOP'11), 4 pages, ACM, 2011.
M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo. Efficient Set Sharing using ZBDDs. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Vol. 5335, pages 94-108, Springer-Verlag, August 2008.
J. Navas, F. Bueno, M. V. Hermenegildo. A study of set-sharing analysis via cliques. The 15th Workshop on Logic-Based Methods in Programming Environments, WLPE'05, 15 pages, October 2005.
G. Puebla, M. V. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. V International Workshop on Metaprogramming and Metareasoning in Logic, 1996.
M. García de la Banda, F. Bueno, M. Hermenegildo. Towards Automatic Compile-Time Parallelization of CLP Programs by Analysis and Transformation. Proceedings of the ILPS'95 Workshop on Parallel Logic Programming Systems, U. of Oregon, December 1995.
P. López-García, M. V. Hermenegildo. Towards Dynamic Term Size Computation via Program Transformation. Second Spanish Conference on Declarative Programming, pages 73-93, IIIA/CSIC, September 1993.
M. Hermenegildo, M. Carro. Experimenting with Independent And-Parallel Prolog using Standard Prolog. Jornadas Nacionales de Programación Declarativa, pages 478-497, U. Malaga, October 1991.
F. Bueno, M. Hermenegildo. Towards an Automatic Translation Algorithm from Prolog to the Andorra Kernel Language. Proc. of the 1991 GULP Conference on Logic Programming, pages 489-505, Italian Association for Logic Programming, June 1991.
M. Hermenegildo. Compile-time Analysis Requirements for the Extended Andorra Model. Parallel Logic Programming Workshop, SICS, June 1990.
M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).
M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo. Fast Set Sharing using ZBDDs. University of New Mexico, June 2008.
M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing for Java-style Programs (and proofs). Num. CLIP2/2007.1, Technical University of Madrid (UPM), November 2007.
M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing and Nullity Analysis for Java-style Programs. Num. CLIP2/2007.0, Technical University of Madrid (UPM), February 2007.
F. Bueno, J. Navas, M. Hermenegildo. Sharing, Freeness, Linearity, Redundancy, Widenings, and Cliques. Num. CLIP5/2005.0, 21 pages, Technical University of Madrid (UPM), April 2005.
M. García de la Banda, F. Bueno, M. Hermenegildo. Automatic Compile-Time Parallelization of CLP Programs by Analysis and Transformation to a Concurrent Constraint Language. Facultad de Informática, UPM, June 1995. Also in ILPS'95 WS on Parallel Logic Programming Systems.
F. Bueno, S. K. Debray, M. García de la Banda, M. V. Hermenegildo. Transformation-based Implementation and Optimization of Programs Exploiting the Basic Andorra Model. Num. CLIP11/95.0, Facultad de Informática, UPM, May 1995.
M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence and Search Space Preservation in Dynamically Scheduled Constraint Logic Languages. Facultad de Informática, UPM, February 1995.
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.
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.
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.
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.
M. V. Hermenegildo, P. López-García. 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.
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.
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.
M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Logic Programs with Dynamic Scheduling. U. of Madrid (UPM), 1994.
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.
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.
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.
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.
F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. López-García, 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.
P. López-García, M. V. Hermenegildo. An Automatic Sequentializer Based on Program Transformation. T.U. of Madrid (UPM), April 1993.
P. López-García, 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.
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.
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.
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. Effectiveness of Combined Sharing and Freeness Analysis using Abstract Interpretation. Num. CLIP1/92.0, U. of Madrid (UPM), January 1992.
M. Hermenegildo, M. Carro. Experimenting with Independent And-Parallel Prolog using Standard Prolog. 24 pages, U. of Madrid (UPM), October 1991. Presented at the 1991 Spanish Workshop on Declarative Programming, Malaga.
M. Olmedilla, F. Bueno, M. Hermenegildo. Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. Num. FIM106.1/AI/91, Facultad de Informatica, U. P. Madrid, Spain, October 1991.
F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. Num. CLIP1/91.0, T.U. of Madrid, June 1991. also(first version) in Proc. GULP91, results and benchmarks in ``Results on Automatic Translation from Prolog to the Andorra Kernel Language''.
K. Muthukumar, M. Hermenegildo. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. Num. STP-368-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, December 1990.
K. Muthukumar, M. Hermenegildo. Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. Num. ACA-ST-232-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1989.
K. Muthukumar, M. Hermenegildo. Methods for Automatic Compile-time Parallelization of Logic Programs using Independent/Restricted And-parallelism. Num. ACA-ST-233-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1989.
K. Muthukumar, M. Hermenegildo. Efficient Methods for Supporting Side Effects in Independent And-parallelism and Their Backtracking Semantics. Num. ACA-ST-031-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1989.
R. Warren, M. Hermenegildo, S.K. Debray. MA3: A System for Automatic Generation of CGEs. Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, February 1988.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.