CLIP Group's Publications in 1994
Articles in Refereed Conferences:
- 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.
- 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.
- 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. Lopez-Garcia, 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.
- 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.
- C. Carreras, C. López-Barrio, M. Hermenegildo.
Analytic Model of a Cache-only Memory
Architecture.
Parallel Architectures and Languages Europe -
PARLE'94,
LNCS,
Num. 817,
pages 336-351,
Springer-Verlag,
July
1994.
- 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.
- G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa.
ACE: And/Or-parallel Copying-based Execution of
Logic Programs.
International Conference on Logic Programming,
pages 93-110,
MIT Press,
June
1994.
- 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.
- 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.
Books and Monographs:
- F. Bueno Carrillo.
Automatic Optimisation and Parallelisation of Logic
Programs through Program Transformation.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
October
1994.
- M. García de la Banda.
Independence, Global Analysis, and Parallelism in
Dynamically Scheduled Constraint Logic
Programming.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
September
1994.
- 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).
Invited Papers and Tutorials:
- S.K. Debray, P. Lopez-Garcia, 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.
Articles in Books and Other Collections:
- K. Shen, M. Hermenegildo.
Divided We Stand: Parallel Distributed Stack
Memory Management.
Implementations of Logic Programming Systems,
pages 185-203,
Kluwer Academic Publishers,
1994.
Publications in Refereed Workshops:
- M. Hermenegildo, D. Cabeza, M. Carro.
On The Uses of Attributed Variables in Parallel
and Concurrent Logic Programming Systems.
Proc. of the 1994 COMPULOG-NET Workshop Parallelism and
Implementation Technologies,
15 pages,
U. of Madrid,
September
1994.
Also provided as attachment UPM-1 of deliverable D4.3/2.
- M. Hermenegildo, M. Carro.
A Note on Data-Parallelism and (And-Parallel)
Prolog.
ICLP WS on Parallel and Data Parallel Execution of
Logic Programs,
16 pages,
June
1994.
- M. Fernández, M. Carro, M. Hermenegildo.
IDRA (IDeal Resource Allocation): A Tool for
Computing Ideal Speedups.
ICLP WS on Parallel and Data Parallel Execution of
Logic Programs,
16 pages,
June
1994.
- D. Tang, E. Pontelli, G. Gupta, M. Carro.
Last Parallel Call Optimization and Fast
Backtracking in And-parallel Logic
Programming Systems.
ICLP WS on Parallel and Data Parallel Execution of
Logic Programs,
14 pages,
Uppsala University, CS Department, Box 311, S-751
Uppsala, Sweden,
June
1994.
- M. Hermenegildo, The CLIP Group.
Some Methodological Issues in the Design of CIAO
- A Generic, Parallel Concurrent
Constraint System.
Proc. of the 1994 ICOT/NSF Workshop on Parallel and
Concurrent Programming,
U. of Oregon,
March
1994.
Technical Reports and Manuals:
- 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. Lopez-Garcia, M. V. Hermenegildo.
Non-Failure Analysis for Logic Programs.
Num. CLIP14/94.0,
T.U. of Madrid (UPM),
October
1994.
- 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.
- 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.
- 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.
- 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, D. Cabeza, M. Carro.
On The Uses of Attributed Variables in Parallel
and Concurrent Logic Programming Systems.
Num. CLIP 5/94.0,
17 pages,
School of Computer Science, Technical University of
Madrid (UPM),
June
1994.
Presented at the ILPS'94 Post Conference Workshop on Design
and Implementation of Parallel Logic Programming
Systems, Available from https://www.cliplab.org/.
- K. Shen, M. Hermenegildo.
A Flexible Scheduling and Memory Management
Scheme for Non-Deterministic, And-parallel
Execution.
Num. CLIP6/94.0,
T.U. of Madrid (UPM),
June
1994.
- M. Hermenegildo.
A Simple, Distributed Version of the &-Prolog
System.
School of Computer Science, Technical University of
Madrid (UPM),
April
1994.
Available from https://www.cliplab.org/.
- M. V. Hermenegildo, P. Lopez-Garcia.
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.
- S.K. Debray, P. Lopez-Garcia, 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.
- 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, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens.
Global Analysis of Constraint Logic Programs.
U. of Madrid (UPM),
1994.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Logic Programs with Dynamic
Scheduling.
U. of Madrid (UPM),
1994.
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