CLIP Group's Publications in 2004
Articles in Refereed Journals:
- 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.
- 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:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- Susana Muñoz, José M. Gómez, Petra
Hofstedt.
Proceedings of WLPE 2004.
131 pages,
INSA Rennes,
September
2004.
- 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:
- 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.
- 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:
- 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:
- 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.
- 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.
- 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:
- F. Bueno.
Sharing Stars.
Num. CLIP17/2004.0,
44 pages,
Technical University of Madrid,
December
2004.
- M. DeMarco, J. Lipton.
Uniform Algebras.
Num. CLIP16/2004.0,
20 pages,
Technical University of Madrid,
October
2004.
- 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.
- E. Mera.
Development of a Prolog Profiler.
Num. CLIP13/2004.1,
Technical University of Madrid,
September
2004.
- E. Mera.
Desarrollo de un Profiler para Prolog.
Num. CLIP13/2004.0,
Technical University of Madrid,
September
2004.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Pattengale, N. D..
Transactional Semantics.
Num. CLIP3/04.0,
24 pages,
Technical University of Madrid (UPM),
February
2004.
- 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.
- F. Bueno.
CiaoPP Internals.
Num. CLIP2/04,
66 pages,
Technical University of Madrid (UPM),
January
2004.
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 Sep 26 03:16:30 PM CEST 2024