CLIP Group's Publications in 1996
Articles in Refereed Journals:
- P. Van Hentenryck, V. Saraswat, A. Borning, A. Brodski, P. Codognet, R. Dechter, M. Dincbas, E. Freuder, M. Hermenegildo, J. Jaffar, S. Kasif, J.-L. Lassez, D. McAllester, Ken McAloon, A. Macworth, U. Montanari, W. Older, J.-F. Puget, R. Ramakrishnan, F. Rossi, G. Smolka, R. Wachter.
Strategic Directions in Constraint Programming.
ACM Computing Surveys,
Vol. 28,
Num. 4,
pages 701-726,
ACM,
December
1996.
50th Anniversary Issue on Strategic Directions in Computer
Research.
- M. García de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens.
Global Analysis of Constraint Logic Programs.
ACM Transactions on Programming Languages and Systems,
Vol. 18,
Num. 5,
pages 564-615,
ACM,
September
1996.
- M. Hermenegildo, M. Carro.
Relating Data-Parallelism and (And-) Parallelism
in Logic Programs.
The Computer Languages Journal,
Vol. 22,
Num. 2/3,
pages 143-163,
Elsevier Science,
July
1996.
- E. Pontelli, G. Gupta, D. Tang, M. Carro, M. Hermenegildo.
Improving the Efficiency of Nondeterministic
And-parallel Systems.
The Computer Languages Journal,
Vol. 22,
Num. 2/3,
pages 115-142,
Pergamon/Elsevier,
July
1996.
- P. Lopez-Garcia, 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.
- K. Shen, M. Hermenegildo.
High-level Characteristics of Or- and Independent
And-parallelism in Prolog.
Int'l. Journal of Parallel Programming,
Vol. 24,
Num. 5,
pages 433-478,
Plenum Press,
1996.
Articles in Refereed Conferences:
- M. García de la Banda, F. Bueno, M. Hermenegildo.
Towards Independent And-Parallelism in CLP.
Programming Languages: Implementation, Logics, and
Programs,
LNCS,
Num. 1140,
pages 77-91,
Springer-Verlag,
September
1996.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Dynamically Scheduled Logic Languages.
1996 International Conference on Algebraic and Logic
Programming,
LNCS,
Num. 1139,
pages 47-61,
Springer-Verlag,
September
1996.
- G. Puebla, M. V. Hermenegildo.
Optimized Algorithms for the Incremental Analysis
of Logic Programs
(also available in ps).
International Static Analysis Symposium (SAS 1996),
Lecture Notes in Computer Science,
Num. 1145,
pages 270-284,
Springer-Verlag,
September
1996.
- G. Puebla, M. V. Hermenegildo.
Automatic Optimization of Dynamic Scheduling in
Logic Programs
(also available in ps).
Programming Languages: Implementation, Logics, and
Programs,
LNCS,
Num. 1140,
pages 475-476,
Springer-Verlag,
September
1996.
Poster abstract.
- K. Shen, M. Hermenegildo.
Flexible Scheduling for Non-Deterministic,
And-parallel Execution of Logic Programs.
Proceedings of EuroPar'96,
LNCS,
Num. 1124,
pages 635-640,
Springer-Verlag,
August
1996.
- M. Fernández, M. Carro, M. Hermenegildo.
IDRA (IDeal Resource Allocation): Computing
Ideal Speedups in Parallel Logic
Programming.
Proceedings of EuroPar'96,
LNCS,
Num. 1124,
pages 724-734,
Springer-Verlag,
August
1996.
- F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla.
Global Analysis of Standard Prolog Programs.
European Symposium on Programming,
LNCS,
Num. 1058,
pages 108-124,
Springer-Verlag,
April
1996.
Books and Monographs:
- P. Tarau, A. Davison, K. De Bosschere, M. Hermenegildo.
Proceedings of the 1st Workshop on Logic Programming Tools
for INTERNET Applications.
122 pages,
U. of Moncton, Canada,
September
1996.
Available from https://www.cliplab.org/miscdocs/lp-internet/archive.html.
- M. Carro, E. Pontelli.
Proceedings of the Fourth COMPULOG-NET Area
Workshop on Parallelism and Implementation
Technologies for (Constraint) Logic
Languages.
235 pages,
Computer Science Department, Technical University of
Madrid,
September
1996.
Invited Papers and Tutorials:
- 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.
Publications in Refereed Workshops:
- G. Puebla, M. García de la Banda, M. V. Hermenegildo, K. Marriott, P. Stuckey.
Automatic Optimization of Logic Programs with
Dynamic Scheduling.
Workshop on Abstract Interpretation of Logic
Languages,
The Hebrew University,
December
1996.
- M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. Lopez-Garcia, G. Puebla.
The CIAO Multi-Dialect Compiler and System: A
Demo and Status Report.
Proceedings of the JICSLP'96 Workshop on Parallelism
and Implementation Technology,
12 pages,
Computer Science Department, Technical University of
Madrid,
September
1996.
Available from https://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz.
- G. Puebla, M. V. Hermenegildo.
Optimized Algorithms for the Incremental Analysis
of Logic Programs.
II Workshop on Verification and Analysis of Logic
Languages,
September
1996.
- D. Cabeza, M. V. Hermenegildo, S. Varma.
The PiLLoW/Ciao Library for INTERNET/WWW
Programming using Computational Logic
Systems
(also available in ps).
Proceedings of the 1st Workshop on Logic Programming
Tools for INTERNET Applications,
pages 72-90,
September
1996.
Text and code available from https://www.cliplab.org/miscdocs/pillow/pillow.html.
- D. Cabeza, M. V. Hermenegildo.
Implementing Distributed Concurrent Constraint
Execution in the CIAO System
(also available in ps).
Proc. of the AGP'96 Joint conference on Declarative
Programming,
pages 67-78,
U. of the Basque Country,
July
1996.
Available from https://www.cliplab.org/.
- M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. Lopez-Garcia, G. Puebla.
The CIAO Multi-Dialect Compiler and System:
An Experimentation Workbench for Future
(C)LP Systems.
Proc. of the AGP'96 Joint Conference on Declarative
Programming,
pages 105-108,
U. of the Basque Country,
July
1996.
Available from ftp://www.cliplab.org/pub/papers.
- M. Codish, V. Lagoon, F. Bueno.
Sharing Analysis for Logic Programs using Set
Logic Programs.
Proc. of the AGP'96 Joint Conference on Declarative
Programming,
pages 29-40,
U. of the Basque Country,
July
1996.
Available from https://www.cliplab.org/.
- G. Puebla, M. V. Hermenegildo.
Abstract Specialization and its Application to
Program Parallelization.
V International Workshop on Metaprogramming and
Metareasoning in Logic,
1996.
Technical Reports and Manuals:
- S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo.
Towards Precise Non-Failure Analysis for Logic
Programs.
Num. CLIP18/96.0,
T.U. of Madrid (UPM),
November
1996.
- D. Cabeza, M. V. Hermenegildo.
html.pl: An HTML Package for (C)LP systems.
Technical University of Madrid,
March
1996.
Available from https://www.cliplab.org/miscdocs/.
- G. Puebla, M. V. Hermenegildo.
Optimized Algorithms for Incremental Analysis of
Logic Programs.
Num. CLIP3/96.0,
Facultad de Informática, UPM,
February
1996.
- G. Puebla, M. V. Hermenegildo.
Automatic Optimization of Dynamic Scheduling in Logic
Programs.
Technical University of Madrid,
January
1996.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Tue Oct 29 12:34:26 PM CET 2024