CLIP Group's Publications in 1997
Articles in Refereed Journals:
- M. Codish, M. Bruynooghe, M. García de la Banda, M. V. Hermenegildo.
Exploiting Goal Independence in the Analysis of
Logic Programs
(also available in ps).
Journal of Logic Programming,
Vol. 32,
Num. 3,
pages 247-261,
Elsevier - North Holland,
September
1997.
- M. V. Hermenegildo.
Some Challenges for Constraint Programming
(also available in ps).
The Constraints Journal,
Vol. 2,
Num. 1,
pages 63-69,
Kluwer Academic Publishers,
1997.
Special issue on strategic directions in constraint
programming.
Articles in Refereed Conferences:
- S. K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin.
Lower Bound Cost Estimation for Logic
Programs
(also available in ps).
1997 International Logic Programming Symposium,
pages 291-305,
MIT Press, Cambridge, MA,
October
1997.
- G. Puebla, M. Comini, W. Drabent, M. Ducass, M. Fabris, M. Meier, Ch. Schulte.
Tools and Environments for Constraint Logic
Programming.
International Logic Programming Symposium,
pages 417-418,
October
1997.
Workshop abstract.
- S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo.
Non-Failure Analysis for Logic Programs
(also available in ps).
1997 International Conference on Logic Programming,
pages 48-62,
MIT Press, Cambridge, MA,
June
1997.
- G. Puebla, M. García de la Banda, K. Marriott, P. Stuckey.
Optimization of Logic Programs with Dynamic
Scheduling
(also available in ps).
1997 International Conference on Logic Programming,
pages 93-107,
MIT Press,
June
1997.
- 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.
- M. Codish, V. Lagoon, F. Bueno.
An algebraic approach to sharing analysis of logic
programs
(also available in ps).
Proc. of the Fourth International Static Analysis
Symposium,
LNCS,
Num. 1302,
pages 68-82,
Springer Verlag,
1997.
Books and Monographs:
- 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.
- A. López Luengo.
APT: Implementing a Graphical Visualizer of the Execution
of Logic Programs.
Ms. Thesis, Technical University of Madrid, School of Computer
Science,
E-28660, Boadilla del Monte, Madrid, Spain,
October
1997.
- A. López Luengo.
APT: implementación de un visualizador gráfico de
la ejecución de programas lógicos.
Ms. Thesis, Technical University of Madrid, School of Computer
Science,
E-28660, Boadilla del Monte, Madrid, Spain,
October
1997.
In Spanish.
- G. Puebla, M. Comini, W. Drabent, M. Ducasse, M. Fabris, M. Meier, Ch. Schulte.
Proceedings of the ILPS'97 Workshop on Tools and
Environments for Constraint Logic
Programming.
Num. CLIP7/97.1,
180 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
October
1997.
- P. Tarau, K. De Bosschere, M. Hermenegildo.
Proceedings of the 2nd Workshop on Logic Programming Tools
for INTERNET Applications.
140 pages,
K.U. Leuven,
July
1997.
Available from https://www.cliplab.org/lpnet/proceedings97/index.html.
Invited Papers and Tutorials:
- M. Hermenegildo, The CLIP Group.
Programming with Global Analysis.
Proceedings of ILPS'97,
pages 49-52,
MIT Press,
October
1997.
(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.
- F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. V. Hermenegildo, J. Maluszynski, G. Puebla.
On the Role of Semantic Approximations in
Validation and Diagnosis of Constraint Logic
Programs.
Proc. of the 3rd Int'l. Workshop on Automated
Debugging-AADEBUG'97,
pages 155-170,
U. of Linköping Press,
May
1997.
Publications in Refereed Workshops:
- G. Puebla, F. Bueno, M. V. Hermenegildo.
An Assertion Language for Debugging of Constraint
Logic Programs
(also available in ps).
Proceedings of the ILPS'97 Workshop on Tools and
Environments for (Constraint) Logic Programming,
October
1997.
Available from ftp://cliplab.org/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1..
- G. Puebla, J. Gallagher, M. V. Hermenegildo.
Towards Integrating Partial Evaluation in a
Specialization Framework based on Generic
Abstract Interpretation
(also available in ps).
Proceedings of the ILPS'97 Workshop on Specialization
of Declarative Programs,
October
1997.
Post ILPS'97 Workshop.
- D. Cabeza, M. V. Hermenegildo.
WWW Programming using Computational Logic Systems
(and the PiLLoW/Ciao Library)
(also available in ps).
Proceedings of the Workshop on Logic Programming and
the WWW at WWW6,
April
1997.
Technical Reports and Manuals:
- A. López, M. Carro.
A User Guide to APT
(also available in ps).
Num. CLIP6/97.1,
12 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
September
1997.
- M. Carro, M. Hermenegildo.
Some Design Issues in Constraint Program
Visualization and Abstraction.
Num. CLIP1/97.1,
20 pages,
Technical University of Madrid (UPM),
September
1997.
Also as deliverable of the ESPRIT project DISCIPL.
- The CLIP Group.
Program Assertions.
Num. CLIP4/97.1,
Facultad de Informática, UPM,
August
1997.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual.
Num. CLIP3/97.1,
School of Computer Science, Technical University of
Madrid (UPM),
August
1997.
System and on-line version of the manual available at
https://ciao-lang.org.
- M. V. Hermenegildo, The CLIP Group.
An Automatic Documentation Generator for (C)LP -
Reference Manual.
Num. CLIP5/97.3,
Facultad de Informática, UPM,
August
1997.
Online at https://ciao-lang.org.
- The RADIOWEB Project Partners.
RADIOWEB EP25562: Automatic Generation of Web
Sites for the Radio Brodcasting Industry -
Project Description / Technical Annex.
70 pages,
RADIOWEB Project,
July
1997.
- A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. V. Hermenegildo, C. Lai, J.Lloyd, J. Maluszynski, G. Puebla, A. Tessier.
CP Debugging Tools: Clarification of
Functionalities and Selection of the Tools.
Num. D.WP1.1.M1.1-2,
15 pages,
DISCIPL Project,
June
1997.
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