CLIP Group's Publications in 1993
Articles in Refereed Journals:
- G. Gupta, M. Hermenegildo, V. Santos-Costa.
And-Or Parallel Prolog: A Recomputation Based
Approach.
New Generation Computing,
Vol. 11,
Num. 3-4,
pages 297-323,
Springer Verlag,
1993.
Articles in Refereed Conferences:
- M. García de la Banda, M. V. Hermenegildo.
A Practical Approach to the Global Analysis of
Constraint Logic Programs.
1993 International Logic Programming Symposium,
pages 437-455,
MIT Press,
October
1993.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in Constraint Logic Programs.
1993 International Logic Programming Symposium,
pages 130-146,
MIT Press, Cambridge, MA,
October
1993.
- M. Olmedilla, F. Bueno, M. Hermenegildo.
Automatic Exploitation of Non-Determinate
Independent And-Parallelism in the Basic
Andorra Model.
Logic Program Synthesis and Transformation, 1993,
Workshops in Computing,
pages 177-195,
Springer-Verlag,
July
1993.
- M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda, M. Hermenegildo.
Improving Abstract Interpretations by Combining
Domains.
Proc. ACM SIGPLAN Symposium on Partial Evaluation
and Semantics Based Program Manipulation,
pages 194-206,
ACM,
June
1993.
- M. Carro, L. Gómez, M. Hermenegildo.
Some Paradigms for Visualizing Parallel Execution
of Logic Programs.
1993 International Conference on Logic Programming,
pages 184-201,
MIT Press,
June
1993.
Books and Monographs:
- D. Cabeza Gras.
Parallelization of Prolog Programs Using the
Notion of Non-Strict Independence.
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1993.
- M. Carro.
Implementation of Non-Determinism and Optimization
of the Memory Usage in the And-Parallel
Execution of Logic Programs.
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
99 pages,
December
1993.
In Spanish.
- P. Lopez-Garcia.
A System of Granularity Control in Parallel
Logic Programs.
Ms. Thesis, T. University of Madrid (UPM),
Facultad de Informática, Madrid, 28660,
December
1993.
- F. Bueno, M. Hermenegildo, J. Moreno-Navarro.
Proceedings of the First COMPULOG-NET Area Workshop
on Parallelism and Implementation
Technologies.
78 pages,
FIM/UPM, Madrid, Spain,
May
1993.
Articles in Books and Other Collections:
- M. Hermenegildo.
The Role of Computational Logic as a Hinge
Paradigm among Deduction, Problem Solving,
Programming, and Parallelism.
Knowledge Oriented Software Design,
pages 207-221,
North-Holland,
September
1993.
Publications in Refereed Workshops:
- P. Lopez-Garcia, M. V. Hermenegildo.
Towards Dynamic Term Size Computation via
Program Transformation.
Second Spanish Conference on Declarative Programming,
pages 73-93,
IIIA/CSIC,
September
1993.
- M. Hermenegildo, The CLIP Group.
Towards CIAO-Prolog - A Parallel Concurrent
Constraint System.
Proc. of the Compulog Net Area Workshop on Parallelism
and Implementation Technologies,
10 pages,
FIM/UPM, Madrid, Spain,
June
1993.
- V. Dumortier, G. Janssens, W. Simoens, M. García de la Banda.
Combining a Definiteness and a Freeness Abstraction
for CLP Languages.
Workshop on Logic Program Synthesis and
Transformation,
1993.
Technical Reports and Manuals:
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Global Analysis in Strict
Independence-Based Automatic Program
Parallelization.
Num. CLIP7/93.0,
T.U. of Madrid (UPM),
October
1993.
- D. Cabeza, M. Hermenegildo.
Towards Extracting Non-Strict Independent
And-Parallelism Using Sharing and Freeness
Information.
Num. CLIP5/92.1,
U. of Madrid (UPM),
August
1993.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Compile-time Optimizations and Analysis
Requirements for CC Programs.
Num. CLIP6/93.0,
T.U. of Madrid (UPM),
July
1993.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo, F. Rossi, U. Montanari.
Towards True Concurrency Semantics Based
Program Transformation between CLP and CC.
Num. CLIP2/93.1(94),
T.U. of Madrid (UPM),
July
1993.
- F. Bueno, M. García de la Banda, D. Cabeza, M. V. Hermenegildo.
The &-Prolog Compiler System -- Automatic
Parallelization Tools for LP.
Num. CLIP5/93.0,
Computer Science Dept., Technical U. of Madrid
(UPM),
June
1993.
- F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. Lopez-Garcia, M. García de la
Banda, M. V. Hermenegildo, L. Gómez, S. Prestwich, S.-W. Yan.
A Proposal for an Interchange Abstract Syntax for
(Parallel) Prolog.
Num. CLIP3/93.0,
33 pages,
Computer Science Dept., Technical U. of Madrid
(UPM),
June
1993.
- P. Lopez-Garcia, M. V. Hermenegildo.
An Automatic Sequentializer Based on Program
Transformation.
T.U. of Madrid (UPM),
April
1993.
- K. Shen, M. Hermenegildo.
A Flexible Scheduling and Memory Management
Scheme for Non-Deterministic, And-parallel
Execution of Logic Programs.
Num. CLIP 4/93.0,
T.U. of Madrid (UPM),
April
1993.
Presented at the ICLP'93 Post Conference Workshop on Logic
Program Implementation.
- P. Lopez-Garcia, M. V. Hermenegildo.
Dynamic Term Size Computation in Logic Programs
via Program Transformation.
Num. CLIP 8/93.0,
T.U. of Madrid (UPM),
April
1993.
Presented at the 1993 COMPULOG Area Meeting on Parallelism
and Implementation Technologies.
- M. Carro, L. Gómez, M. Hermenegildo.
Using VisAndOr to Debug and Understand
Parallel Execution of Logic Programs.
Num. CLIP 1/93.0,
School of Computer Science, Technical University of
Madrid,
February
1993.
- U. Montanari, F. Rossi, F. Bueno, M. García
de la Banda, M. V. Hermenegildo.
Contextual Nets and Constraint Logic Programming:
Towards a True Concurrent Semantics for
CLP.
Num. CLIP 2/93.0,
T.U. of Madrid (UPM),
January
1993.
Presented at the ICLP'93 Post Conference Workshop on
Concurrent Constraint Logic Programming.
- G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa.
ACE: And/Or-parallel Copying-based Execution of Logic
Programs.
New Mexico State University, Computer Science Dept.,
1993.
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