Source: http://cliplab.org/clippubsbyyear/node27.html
Timestamp: 2019-04-23 23:02:19+00:00

Document:
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.
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.
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.
CORE: A. Citeseer: position 13/1221 (top 1%), impact 2.26. Average position: top 17%.
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.
M. Hermenegildo, J. Penjam. Programming Language Implementation and Logic Programming - Proc. of the 1994 Conference. LNCS, Num. 844, 468 pages, Springer-Verlag, September 1994.
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.
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).
S.K. Debray, P. López-García, 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.
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.
S.K. Debray, P. López-García, M. V. Hermenegildo. Non-Failure Analysis for Logic Programs. Num. CLIP14/94.0, T.U. of Madrid (UPM), October 1994.
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.
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.
M. Hermenegildo. A Simple, Distributed Version of the &-Prolog System. School of Computer Science, Technical University of Madrid (UPM), April 1994. Available from http://www.cliplab.org/.
S.K. Debray, P. López-García, M. V. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Num. CLIP4/94.0, T.U. of Madrid (UPM), March 1994.
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.
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.

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