CLIP Group's Publications in 1999
Articles in Refereed Journals:
- G. Puebla, M. V. Hermenegildo.
Abstract Multiple Specialization and its
Application to Program Parallelization
(also available in ps).
J. of Logic Programming. Special Issue on Synthesis,
Transformation and Analysis of Logic Programs,
Vol. 41,
Num. 2&3,
pages 279-316,
Elsevier - North Holland,
November
1999.
- F. Bueno, M. García de la Banda, M. V. Hermenegildo.
Effectiveness of Abstract Interpretation in
Automatic Parallelization: A Case Study in
Logic Programming.
ACM Transactions on Programming Languages and Systems,
Vol. 21,
Num. 2,
pages 189-238,
ACM Press,
March
1999.
- K. Muthukumar, F. Bueno, M. García de la Banda, M. Hermenegildo.
Automatic Compile-time Parallelization of Logic
Programs for Restricted, Goal-level,
Independent And-parallelism.
Journal of Logic Programming,
Vol. 38,
Num. 2,
pages 165-218,
Elsevier - North-Holland,
February
1999.
Articles in Refereed Conferences:
- M. Carro, M. Hermenegildo.
Concurrency in Prolog Using Threads and a Shared
Database.
1999 International Conference on Logic Programming,
pages 320-334,
MIT Press, Cambridge, MA, USA,
November
1999.
- G. Smedbäck, M. Carro, M. Hermenegildo.
Interfacing Prolog and VRML and its Application to
Constraint Visualization.
The Practical Application of Constraint Technologies
and Logic programming,
pages 453-471,
The Practical Application Company,
April
1999.
Books and Monographs:
- J.M. Gómez.
WebDB: Un Interfaz WWW a Bases de Datos Genérico.
Ms. Thesis, Technical University of Madrid, School of Computer
Science,
E-28660, Boadilla del Monte, Madrid, Spain,
156 pages,
September
1999.
- I. de Castro Dutra, M. Carro, V. Santos Costa, G. Gupta, E. Pontelli, F. Silva (editors).
Parallelism and Implementation of Logic and
Constraint Logic Programming.
Nova Science Publishers,
1999.
Invited Papers and Tutorials:
- M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia.
Program Analysis, Debugging and Optimization
Using the Ciao System Preprocessor
(also available in ps).
1999 Int'l. Conference on Logic Programming,
pages 52-66,
MIT Press,
November
1999.
Articles in Books and Other Collections:
- M. V. Hermenegildo, G. Puebla, F. Bueno.
Using Global Analysis, Partial Specifications,
and an Extensible Assertion Language for
Program Validation and Debugging
(also available in ps).
The Logic Programming Paradigm: a 25-Year
Perspective,
pages 161-192,
Springer-Verlag,
July
1999.
- 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:
An Experimentation Workbench for Future
(C)LP Systems
(also available in ps).
Parallelism and Implementation of Logic and
Constraint Logic Programming,
pages 65-85,
Nova Science,
April
1999.
Publications in Refereed Workshops:
- D. Cabeza, M. V. Hermenegildo.
A New Module System for Prolog
(also available in ps).
ICLP'99 WS on Parallelism and Implementation of (C)LP
Systems,
pages 110-128,
N.M. State U.,
December
1999.
- D. Cabeza, M. V. Hermenegildo.
The Ciao Modular Compiler and Its Generic
Program Processing Library
(also available in ps).
ICLP'99 WS on Parallelism and Implementation of (C)LP
Systems,
pages 147-164,
N.M. State U.,
December
1999.
- M. V. Hermenegildo.
A Documentation Generator for Logic Programming
Systems
(also available in ps).
ICLP'99 Workshop on Logic Programming Environments,
pages 80-97,
N.M. State University,
December
1999.
- G. Puebla, M. V. Hermenegildo, J. Gallagher.
An Integration of Partial Evaluation in a Generic
Abstract Interpretation Framework
(also available in ps).
ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation (PEPM'99),
BRISC Series,
Num. NS-99-1,
pages 75-85,
University of Aarhus, Denmark,
January
1999.
Technical Reports and Manuals:
- D. Cabeza, M. V. Hermenegildo.
Higher-order Logic Programming in Ciao.
Num. CLIP7/99.0,
15 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
September
1999.
- D. Cabeza, M. V. Hermenegildo.
A New Module System for Prolog.
Num. CLIP8/99.0,
15 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
September
1999.
- D. Cabeza, M. V. Hermenegildo.
The Ciao Modular Compiler and Its Generic
Program Processing Library.
Num. CLIP9/99.0,
15 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
September
1999.
- M. V. Hermenegildo.
A Documentation Generator for Logic Programming
Systems.
Num. CLIP10/99.0,
15 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
September
1999.
- A. Pineda.
Object Oriented Programming Library (O'Ciao).
Num. CLIP 6/99.0,
Facultad de Informática, UPM,
July
1999.
- A. Pineda, M. Hermenegildo.
O'Ciao: An Object Oriented Programming Model
for (CIAO) Prolog
(also available in ps).
Num. CLIP 5/99.0,
Facultad de Informática, UPM,
July
1999.
- Per Cederberg, The CLIP Group.
Flexible Layout and Styling - The LaSt
Language.
Num. D2.2.M3 CLIP 3/99.0,
32 pages,
RADIOWEB Project,
June
1999.
- Per Cederberg, The CLIP Group.
The LaSt Engine.
Num. D3.3.M3 CLIP 4/99.0,
42 pages,
RADIOWEB Project,
June
1999.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual
(V1.0).
Num. CLIP11/99.1,
School of Computer Science, Technical University of
Madrid (UPM),
June
1999.
System and on-line version of the manual available at
https://ciao-lang.org.
- F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo, P. Pietrzak.
The CHIP Assertion Preprocessor.
Num. CLIP1/99.1,
50 pages,
Technical University of Madrid (UPM),
March
1999.
Also as deliverable of the ESPRIT project DISCIPL.
- M. Carro, M. Hermenegildo.
Some Issues in the Design of Visualizations for
Constraint Logic Program Execution.
Num. CLIP2/99.1,
17 pages,
Technical University of Madrid (UPM),
March
1999.
Also as deliverable of the ESPRIT project DISCIPL.
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