CLIP Group's Publications in 2005
Articles in Refereed Journals:
- M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia.
Integrated Program Debugging, Verification, and
Optimization Using Abstract Interpretation
(and The Ciao System Preprocessor).
Science of Computer Programming,
Vol. 58,
Num. 1-2,
pages 115-140,
Elsevier North-Holland,
October
2005.
- Nik Swoboda, Gerard Allwein.
Heterogeneous Reasoning with Euler/Venn Diagrams Containing
Named Constants and FOL.
Electronic Notes in Theoretical Computer Science,
Vol. 134,
pages 153-187,
June
2005.
Available online
https://www.sciencedirect.com/science/journal/15710661.
- Mary DeMarco, James Lipton.
Completeness and Cut Elimination in Church's
Intuitionistic Theory of Types.
J. of Logic and Computation,
Vol. 15,
Num. 6,
pages 821-854,
2005.
Articles in Refereed Conferences:
- J. Morales, M. Carro, G. Puebla, M. Hermenegildo.
A Generator of Efficient Abstract Machine Implementations
and its Application to Emulator Minimization.
International Conference on Logic Programming,
LNCS,
Num. 3668,
pages 21-36,
Springer Verlag,
October
2005.
- G. Puebla, E. Albert, M. V. Hermenegildo.
A Generic Framework for the Analysis and
Specialization of Logic Programs.
International Conference on Logic Programming (ICLP
2005),
LNCS,
Num. 3668,
pages 407-409,
Springer,
October
2005.
Extended Abstract.
- G. Puebla, E. Albert, M. V. Hermenegildo.
Efficient Local Unfolding with Ancestor Stacks for
Full Prolog.
14th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'04),
LNCS,
Num. 3573,
pages 149-165,
Springer-Verlag,
August
2005.
- P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo.
Determinacy Analysis for Logic Programs Using
Mode and Type Information.
Proceedings of the 14th International Symposium on
Logic-based Program Synthesis and Transformation
(LOPSTR'04),
LNCS,
Num. 3573,
pages 19-35,
Springer-Verlag,
August
2005.
- D. Zanardini.
Higher-Order Abstract Non-Interference.
Int. Conf. on Typed Lambda Calculi and Applications
(TLCA),
Lecture Notes in Computer Science,
Vol. 3461,
Springer-Verlag, Berlin,
April
2005.
- E. Albert, G. Puebla, M. V. Hermenegildo.
Abstraction-Carrying Code .
11th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2004),
LNAI,
Num. 3452,
pages 380-397,
Springer-Verlag,
March
2005.
Books and Monographs:
- M. Hermenegildo, D. Cabeza.
Practical Aspects of Declarative Languages -
7th. International Symposium, PADL 2005.
LNCS,
Num. 3350,
278 pages,
Springer-Verlag,
January
2005.
Invited Papers and Tutorials:
- G. Puebla, E. Albert, M. Hermenegildo.
Abstract Interpretation-based
Verification/Certification in the CiaoPP
System.
Mobile Code Safety and Program Verification Using
Computational Logic Tools (MoveLog'05),
9 pages,
October
2005.
- M. V. Hermenegildo, E. Albert, P. Lopez-Garcia, G. Puebla.
Abstraction Carrying Code and
Resource-Awareness.
7th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming
(PPDP'05),
pages 1-11,
ACM Press,
July
2005.
Articles in Books and Other Collections:
- Angel Borrego, Nik Swoboda.
Images from www.wordww.net.
Cárcel de amor: relatos culturales sobre la
violencia de género,
pages 306-307,
Museo Nacional Centro de Arte Reina Sofía,
2005.
Publications in Refereed Workshops:
- J. Navas, F. Bueno, M. V. Hermenegildo.
A study of set-sharing analysis via cliques.
The 15th Workshop on Logic-Based Methods in Programming
Environments, WLPE'05,
15 pages,
October
2005.
- A. Casas, D. Cabeza, M. V. Hermenegildo.
Functional Notation and Lazy Evaluation in Ciao.
Colloquium on Implementation of Constraint and LOgic
Programming Systems (CICLOPS'05, ICLP associated
workshop),
pages 25-36,
October
2005.
- G. Puebla, E. Albert, M. V. Hermenegildo.
A Generic Framework for the Analysis and
Specialization of Logic Programs .
The 15th Workshop on Logic-Based Methods in Programming
Environments, WLPE'05,
15 pages,
October
2005.
- E. Albert, G. Puebla, J. Gallagher.
A Partial Deducer Assisted by Predefined
Assertions and a
Backwards Analyzer.
5th International Workshop on the Implementation of
Logics (WIL'04),
9 pages,
March
2005.
Technical Reports and Manuals:
- E. Albert, P. Arenas, G. Puebla, M. Hermenegildo.
Reduced Certificates for Abstraction-Carrying
Code.
Num. CLIP8/2005.0,
19 pages,
Technical University of Madrid (UPM),
October
2005.
- F. Bueno.
Solving set equations.
Num. CLIP9/2005.3(2008),
Technical University of Madrid (UPM),
September
2005.
- E. Albert, G. Puebla, M. V. Hermenegildo.
Abstraction-Carrying Code: A Model for Mobile
Code Safety.
Num. CLIP7/2005.0,
30 pages,
Technical University of Madrid,
July
2005.
- G. Puebla, E. Albert, M. V. Hermenegildo.
Abstract Interpretation with Specialized
Definitions.
Num. CLIP6/2005.0,
Technical University of Madrid,
July
2005.
- J. Morales, M. Carro, G. Puebla, M. Hermenegildo.
A Generator of Efficient Abstract Machine Implementations
and its Application to Emulator Minimization.
Num. CLIP3/2005.0,
21 pages,
Technical University of Madrid (UPM),
May
2005.
- F. Bueno, J. Navas, M. Hermenegildo.
Sharing, Freeness, Linearity, Redundancy, Widenings, and Cliques.
Num. CLIP5/2005.0,
21 pages,
Technical University of Madrid (UPM),
April
2005.
- E. Albert, G. Puebla, J. Gallagher.
A Partial Deducer Assisted by Predefined
Assertions and a
Backwards Analyzer.
Num. CLIP1/2005.0,
9 pages,
Technical University of Madrid,
February
2005.
- G. Puebla, E. Albert, M. V. Hermenegildo.
Efficient Local Unfolding with Ancestor Stacks for
Full Prolog.
Num. CLIP2/2005.0,
Technical University of Madrid,
February
2005.
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