CLIP Group's Publications in 1995
Articles in Refereed Journals:
- M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda, M. Hermenegildo.
Improving Abstract Interpretations by Combining
Domains.
ACM Transactions on Programming Languages and Systems,
Vol. 17,
Num. 1,
pages 28-44,
ACM,
January
1995.
- M. Hermenegildo, F. Rossi.
Strict and Non-Strict Independent
And-Parallelism in Logic Programs:
Correctness, Efficiency, and Compile-Time
Conditions.
Journal of Logic Programming,
Vol. 22,
Num. 1,
pages 1-45,
Elsevier - North Holland,
1995.
Articles in Refereed Conferences:
- M. García de la Banda, K. Marriott, P. Stuckey.
Efficient Analysis of Constraint Logic Programs
with Dynamic Scheduling
(also available in ps).
1995 International Logic Programming Symposium,
pages 417-431,
MIT Press, Cambridge, MA,
December
1995.
- M. Hermenegildo, M. Carro.
Relating Data-Parallelism and And-Parallelism
in Logic Programs.
Proceedings of EURO-PAR'95,
LNCS,
Num. 966,
pages 27-42,
Springer-Verlag,
August
1995.
- M. Hermenegildo, D. Cabeza, M. Carro.
Using Attributed Variables in the Implementation of
Concurrent and Parallel Logic Programming
Systems.
Proc. of the Twelfth International Conference on Logic
Programming,
pages 631-645,
MIT Press,
June
1995.
- M. V. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey.
Incremental Analysis of Logic Programs
(also available in ps).
International Conference on Logic Programming,
pages 797-811,
MIT Press,
June
1995.
- G. Puebla, M. V. Hermenegildo.
Implementation of Multiple Specialization in Logic
Programs
(also available in ps).
Proc. ACM SIGPLAN Symposium on Partial Evaluation
and Semantics Based Program Manipulation,
pages 77-87,
ACM Press,
June
1995.
- P. Lopez-Garcia, M. V. Hermenegildo.
Efficient Term Size Computation for Granularity
Control.
International Conference on Logic Programming,
pages 647-661,
MIT Press, Cambridge, MA,
June
1995.
- E. Pontelli, G. Gupta, M. Hermenegildo.
&ACE: A High-Performance Parallel Prolog
System.
International Parallel Processing Symposium,
pages 564-572,
IEEE Computer Society,
IEEE Computer Society Technical Committee on
Parallel Processing,
April
1995.
Books and Monographs:
- P. Lopez-Garcia, M. V. Hermenegildo.
Proceedings of the Third COMPULOG-NET Area Workshop
on Parallelism and Implementation
Technologies.
108 pages,
U. of Utrecht,
September
1995.
- M. Hermenegildo, D. Swierstra.
Programming Languages: Implementations, Logics, and
Programs - Proc. of the 1995 Conference.
LNCS,
Num. 982,
466 pages,
Springer-Verlag,
September
1995.
Publications in Refereed Workshops:
- M. Hermenegildo, F. Bueno, M. García de la
Banda, G. Puebla.
The CIAO Multi-Dialect Compiler and System:
An Experimentation Workbench for Future
(C)LP Systems
(also available in ps).
Proceedings of the ILPS'95 Workshop on Visions for the
Future of Logic Programming,
December
1995.
Available from https://www.cliplab.org/.
- 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.
- D. Cabeza, M. V. Hermenegildo.
Distributed Concurrent Constraint Execution in the
CIAO System.
Proc. of the 1995 COMPULOG-NET Workshop on Parallelism
and Implementation Technologies,
U. Utrecht / T.U. Madrid,
September
1995.
Available from https://www.cliplab.org/.
- M. Hermenegildo, The CLIP Group.
The CIAO Multiparadigm Compiler and System: A
Progress Report.
Proc. of the Compulog Net Area Workshop on Parallelism
and Implementation Technologies,
Technical University of Madrid,
September
1995.
- F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla.
Data-flow Analysis of Standard Prolog Programs.
ICLP95 WS on Abstract Interpretation of Logic
Languages,
June
1995.
- F. Bueno, M. V. Hermenegildo.
Analysis of Concurrent Constraint Logic Programs
with a Fixed Scheduling Rule.
ICLP95 WS on Abstract Interpretation of Logic
Languages,
June
1995.
- M. García de la Banda, K. Marriott, P. Stuckey.
Efficient Analysis of Constraint Logic Programs
with Dynamic Scheduling.
ICLP95 WS on Abstract Interpretation of Logic
Languages,
June
1995.
Technical Reports and Manuals:
- S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin.
Lower Bound Cost Estimation for Logic
Programs.
Num. CLIP20/95.0,
T.U. of Madrid (UPM),
December
1995.
- M. Hermenegildo.
A WWW Interface Library for LP and CLP
Systems.
Num. CLIP16/95.0,
School of Computer Science, Technical University of
Madrid (UPM),
December
1995.
- G. Puebla, M. V. Hermenegildo.
Specialization and Optimization of Constraint
Programs with Dynamic Scheduling.
Num. CLIP12/95.0,
Facultad de Informática, UPM,
September
1995.
Presented at the 1995 COMPULOG Meeting on Program
Development.
- F. Bueno, M. Hermenegildo.
Compiling Concurrency into a Sequential Logic
Language.
Facultad de Informática, UPM,
June
1995.
- M. Hermenegildo, M. Carro.
A Note on Data-Parallelism and (And-Parallel)
Prolog.
Num. CLIP 6/94.0,
15 pages,
School of Computer Science, Technical University of
Madrid (UPM),
June
1995.
- E. Pontelli, G. Gupta, D. Tang, M. Hermenegildo, M. Carro.
Efficient Implementation of And-parallel Prolog
Systems.
Num. CLIP4/95.0,
T.U. of Madrid (UPM),
June
1995.
- F. Bueno, M. Hermenegildo.
An Automatic Translation Scheme from CLP to
AKL.
Facultad de Informática, UPM,
June
1995.
- 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.
The CIAO Multiparadigm Compiler: A User's
Manual.
Num. CLIP8/95.0,
Facultad de Informática, UPM,
June
1995.
- 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.
- F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla.
Data-Flow Analysis of Prolog Programs with
Extra-Logical Features
(also available in ps).
Num. CLIP2/95.0,
Computer Science Dept., Technical U. of Madrid
(UPM),
March
1995.
- M. García de la Banda, K. Marriott, P. Stuckey.
Efficient Analysis of Constraint Logic Programs
with Dynamic Scheduling.
Facultad de Informática, UPM,
March
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.
- F. Bueno, D. Cabeza, M. García de la Banda, M. V. Hermenegildo, G. Puebla.
Abstract Functions for the Analysis of Builtins in
the PLAI System.
Num. CLIP1/95.0,
Computer Science Dept., Technical U. of Madrid
(UPM),
January
1995.
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