CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 1998


Articles in Refereed Journals:

  1. 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:

  1. 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:

  1. 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:

  1. 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.

  2. 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:

  1. 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.

  2. J.M. Gomez, D. Cabeza, M. V. Hermenegildo. persdb: Persistent Database Interface. Num. CLIP9/98.0, 24 pages, December 1998.

  3. 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.

  4. J.M. Gomez, D. Cabeza, M. V. Hermenegildo. WebDB: A Database WWW Interface. Num. CLIP11/98.0, 32 pages, December 1998.

  5. 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.

  6. 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.

  7. J.M. Ramos. vifid: Variable Visualization for Finite Domains. Num. CLIP4/98.0, 58 pages, Technical University of Madrid, September 1998.

  8. 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.

  9. 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.

  10. 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.

  11. F. Bueno. Using Assertions for Static Debugging of CLP: A Manual. Num. CLIP1/98.0, 15 pages, DISCIPL Project/CLIP Group, UPM, June 1998.

  12. D. Cabeza, S. Genaim, C. Taboch. WOF Design. Num. D2.1.M2, 14 pages, RADIOWEB Project, January 1998.

  13. 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 up previous Clip_button.gif
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