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

CLIP Group's Publications in 2004


Articles in Refereed Journals:

  1. S. Guadarrama, S. Muñoz, C. Vaucheret. Fuzzy Prolog: A new Approach Using Soft Constraints Propagation. Fuzzy Sets and Systems, FSS, Vol. 144, Num. 1, pages 127-150, May 2004. ISSN 0165-0114.

  2. Nik Swoboda, Gerard Allwein. Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Journal on Software & System Modeling, Vol. 3, Num. 2, pages 136-149, May 2004. The origional publication is available at springerlink.com (DOI) 10.1007/s10270-003-0044-8.


Articles in Refereed Conferences:

  1. D. Cabeza, M. V. Hermenegildo, J. Lipton. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. Ninth Asian Computing Science Conference (ASIAN'04), LNCS, Num. 3321, pages 93-108, Springer-Verlag, December 2004.

  2. M. Carro, J. Mariño, A. Herranz, J.J. Moreno-Navarro. Teaching How to Derive Correct Concurrent Programs from State-Based Specifications. Symposium on Teaching Formal Methods 2004, Lecture Notes in Computer Science, Num. 3294, pages 85-106, Springer Verlag, Formal Methods Europe, November 2004.

  3. E. Albert, G. Puebla, M. V. Hermenegildo. Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems. Proc. of 2004 IEEE Conference on Systems, Man & Cybernetics (Special Session on Correctness and Reliability for Pervasive/Ubiquitous Computing), 6 pages, IEEE, October 2004.

  4. E. Albert, G. Puebla, M. V. Hermenegildo. Abstract Interpretation-based Mobile Code Certification. Proc. of International Conference on Logic Programming (ICLP'04), LNCS, Num. 3132, pages 446-447, Springer-Verlag, September 2004. Extended Abstract.

  5. J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, Vol. 3057, pages 86-103, Springer-Verlag, June 2004.

  6. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 3057, pages 104-119, Springer-Verlag, June 2004.

  7. F. Bueno, P. Lopez-Garcia, M. V. Hermenegildo. Multivariant Non-Failure Analysis via Standard Abstract Interpretation. 7th International Symposium on Functional and Logic Programming (FLOPS 2004), LNCS, Num. 2998, pages 100-116, Springer-Verlag, April 2004.

  8. F. Bueno, M. García de la Banda. Set-Sharing is not always redundant for Pair-Sharing. 7th International Symposium on Functional and Logic Programming (FLOPS 2004), LNCS, Num. 2998, 15 pages, Springer-Verlag, April 2004.

  9. Patrick G.T. Healey, Nik Swoboda. A Perspective on Language Evolution from Studies of Graphical Languages. Proceedings of Evolution of Language: Fifth International Conference, pages 52-52, March 2004.

  10. Patrick G. T. Healey, Nik Swoboda, James King. Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction. Diagrammatic Representation and Inference, Lecture Notes in Artificial Intelligence, Num. 2980, pages 286-300, Springer-Verlag, 2004.

  11. Nicolas Fay, Nik Swoboda, Takugo Fukaya, Ichiro Umata, Yasuhiro Katagiri. Using Graphics to Communicate Across Cultures. Diagrammatic Representation and Inference, Lecture Notes in Artificial Intelligence, Num. 2980, pages 347-350, Springer-Verlag, 2004.


Books and Monographs:

  1. M. Carro, José F. Morales. Proceedings of CICLOPS 2004. Num. CLIP11/2004.0, 75 pages, Fundación General de la Universidad Politécnica de Madrid, Technical University of Madrid, September 2004.

  2. Susana Muñoz, José M. Gómez, Petra Hofstedt. Proceedings of WLPE 2004. 131 pages, INSA Rennes, September 2004.

  3. D. Cabeza. An Extensible, Global Analysis Friendly Logic Programming System. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, August 2004.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, E. Albert, P. Lopez-Garcia, G. Puebla. Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System. Proc. of EURO-PAR 2004, LNCS, Num. 3149, pages 21-37, Springer-Verlag, August 2004.

  2. O. Martínez, M. Carro. Subsecuencias de la secuencia mira-y-nombra. Novática, Num. 167-168, 8 pages, Asociación de Técnicos en Informática, January 2004. Available at http://www.ati.es/novatica/.


Articles in Books and Other Collections:

  1. G. Puebla, J. Correas, M. V. Hermenegildo, F. Bueno, M. García de la Banda, K. Marriott, P. J. Stuckey. A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic, A Decade of Research Advances in Logic-Based Program Development, LNCS, Num. 3049, pages 234-261, Springer-Verlag, August 2004.


Publications in Refereed Workshops:

  1. E. Albert, G. Puebla, M. V. Hermenegildo. Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments. Workshop on Software Analysis and Development for Pervasive Systems (SONDA'04), pages 1-6, August 2004.

  2. G. Puebla, E. Albert. Efficient Leftmost Unfolding with Ancestor Stacks. Pre-proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), August 2004.

  3. E. Albert, G. Puebla, M. V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Proc. of Compiler Optimization meets Compiler Verification (COCV'04), Electronic Notes in Theoretical Computer Science 132(1), pages 113-129, Elsevier - North Holland, April 2004.


Technical Reports and Manuals:

  1. F. Bueno. Sharing Stars. Num. CLIP17/2004.0, 44 pages, Technical University of Madrid, December 2004.

  2. M. DeMarco, J. Lipton. Uniform Algebras. Num. CLIP16/2004.0, 20 pages, Technical University of Madrid, October 2004.

  3. E. Mera. Estimación de los coeficientes del análisis de complejidad mediante técnicas estadísticas. Num. CLIP14/2004.0, Technical University of Madrid, September 2004.

  4. E. Mera. Development of a Prolog Profiler. Num. CLIP13/2004.1, Technical University of Madrid, September 2004.

  5. E. Mera. Desarrollo de un Profiler para Prolog. Num. CLIP13/2004.0, Technical University of Madrid, September 2004.

  6. M. DeMarco, J. Lipton. Completeness and Cut Elimination in Church's Intuitionistic Theory of Types. Num. CLIP15/2004.0, 32 pages, Technical University of Madrid, August 2004.

  7. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla (Eds.). The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM), June 2004. System and on-line version of the manual available at http://ciao-lang.org.

  8. J. M. Gomez, M. Carro, J. F. Morales. The External Interface. Num. CLIP6/2004.0, 4 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D12 of the AMOS Project.

  9. J. F. Morales, E. Mera, M. Carro, J. Correas. The Interface Internals. Num. CLIP7/2004.0, 30 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D14 of the AMOS Project.

  10. J. Correas, E. Mera, J. F. Morales. Final Matching Engine. Num. CLIP8/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D15 of the AMOS Project.

  11. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. Web site. Num. CLIP9/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D17 of the AMOS Project.

  12. M. Carro, J. Correas, C. Daffara, G. Puebla, M. V. Hermenegildo. Information Spreading. Num. CLIP10/2004.0, 273 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D18 of the AMOS Project.

  13. J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Num. CLIP5/2004.0, Technical University of Madrid, April 2004.

  14. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for (C)LP Systems (and two useful implementations). Num. CLIP3/2003.1(2004), 16 pages, Technical University of Madrid, April 2004. http://cliplab.org/papers/persdb-tr1.pdf.

  15. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. AMOS User's Manual. Num. CLIP4/2004.0, 44 pages, Technical University of Madrid, March 2004.

  16. Pattengale, N. D.. Transactional Semantics. Num. CLIP3/04.0, 24 pages, Technical University of Madrid (UPM), February 2004.

  17. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. The Ciao Prolog Preprocessor. Num. CLIP1/04, 72 pages, Technical University of Madrid (UPM), January 2004.

  18. F. Bueno. CiaoPP Internals. Num. CLIP2/04, 66 pages, Technical University of Madrid (UPM), January 2004.


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 Feb 27 02:13:46 PM CET 2024