CLIP Group's Publications in 1998
Articles in Refereed Journals:
- F. Bueno, M. V. Hermenegildo, U. Montanari, F. Rossi.
Partial Order and Contextual Net Semantics for
Atomic and Locally Atomic CC Programs.
Science of Computer Programming,
Vol. 30,
pages 51-82,
North-Holland,
January
1998.
Special CCP95 Workshop issue.
Articles in Refereed Conferences:
- G. Puebla, F. Bueno, M. V. Hermenegildo.
A Framework for Assertion-based Debugging in
Constraint Logic Programming (abstract)
(also available in ps).
Proceedings of the International Conference on
Principles and Practice of Constraint Programming
(CP'98),
LNCS,
Num. 1520,
pages 472-473,
Springer-Verlag,
October
1998.
Books and Monographs:
- J.M. Ramos.
VIFID: Variable Visualization for Constraint
Domains.
Ms. Thesis, Technical University of Madrid, School of Computer
Science,
E-28660, Boadilla del Monte, Madrid, Spain,
September
1998.
Publications in Refereed Workshops:
- M. Carro, M. V. Hermenegildo.
Some Design Issues in the Visualization of
Constraint Program Execution.
AGP'98 Joint Conference on Declarative Programming,
pages 71-86,
July
1998.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
A Framework for Assertion-based Debugging in
Constraint Logic Programming
(also available in ps).
Proceedings of the JICSLP'98 Workshop on Types for
CLP,
pages 3-15,
June
1998.
Technical Reports and Manuals:
- D. Cabeza, S. Genaim, C. Taboch.
WOF Interpreter and GDA Installation Guide and
Demo.
Num. D3.1.M2-A4,
10 pages,
RADIOWEB Project,
December
1998.
- J.M. Gomez, D. Cabeza, M. V. Hermenegildo.
persdb: Persistent Database Interface.
Num. CLIP9/98.0,
24 pages,
December
1998.
- I. Caballero, D. Cabeza, S. Genaim, J.M. Gomez, M. V. Hermenegildo.
persdb_sql: SQL Persistent Database Interface.
Num. CLIP10/98.0,
39 pages,
December
1998.
- J.M. Gomez, D. Cabeza, M. V. Hermenegildo.
WebDB: A Database WWW Interface.
Num. CLIP11/98.0,
32 pages,
December
1998.
- 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).
Num. CLIP8/98.0,
Technical University of Madrid (UPM),
October
1998.
- D. Cabeza, M. V. Hermenegildo, S. Genaim, C. Taboch.
Design of a Generic, Homogeneous Interface to
Relational Databases.
Num. D3.1.M1-A1, CLIP7/98.0,
10 pages,
September
1998.
- J.M. Ramos.
vifid: Variable Visualization for Finite Domains.
Num. CLIP4/98.0,
58 pages,
Technical University of Madrid,
September
1998.
- J.M. Ramos, M. Carro.
VIFID User's Manual
(also available in ps).
Num. CLIP3/98.0,
25 pages,
Technical University of Madrid,
September
1998.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual
(V0.6).
Num. CLIP12/98.1,
School of Computer Science, Technical University of
Madrid (UPM),
July
1998.
System and on-line version of the manual available at
https://ciao-lang.org.
- D. Cabeza, M. V. Hermenegildo.
A WWW Database Management Interface for
Prolog.
Num. CLIP2/98.0,
School of Computer Science, Technical University of
Madrid (UPM),
June
1998.
- F. Bueno.
Using Assertions for Static Debugging of CLP: A
Manual.
Num. CLIP1/98.0,
15 pages,
DISCIPL Project/CLIP Group, UPM,
June
1998.
- D. Cabeza, S. Genaim, C. Taboch.
WOF Design.
Num. D2.1.M2,
14 pages,
RADIOWEB Project,
January
1998.
- M. Carro, M. V. Hermenegildo, F. Bueno, D. Cabeza, M. J. García, P. Lopez-Garcia.
An Introductory Course on Constraint Logic
Programming.
130 pages,
Technical University of Madrid,
1998.
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