CLIP Group's Publications in 2006
Articles in Refereed Conferences:
- E. Albert, P. Arenas, G. Puebla.
An Incremental Approach to
Abstraction-Carrying Code.
13th International Conference on
Logic for Programming, Artificial Intelligence, and
Reasoning (LPAR'06),
LNCS,
Num. 4246,
pages 377-391,
Springer-Verlag,
November
2006.
- P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo.
Context-Sensitive Multivariant Assertion Checking
in Modular Programs.
13th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR'06),
LNCS,
Num. 4246,
pages 392-406,
Springer-Verlag,
November
2006.
- M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo.
A Static Heap Analysis for Shape and
Connectivity.
Languages and Compilers for Parallel Computing
(LCPC'06),
Lecture Notes in Computer Science,
Vol. 4382,
pages 345-363,
Springer,
November
2006.
- M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo.
High-Level Languages for Small Devices: A
Case Study.
Compilers, Architecture, and Synthesis for Embedded
Systems,
pages 271-281,
ACM Press / Sheridan,
October
2006.
- C. Ochoa, J. Silva, G. Vidal.
A Slicing Tool for Lazy Functional Logic
Programs.
Proceedings of the 10th European Conference on Logics
in Artificial Intelligence (JELIA'06),
LNCS,
Num. 4160,
pages 498-501,
Springer,
September
2006.
- H. Soza, M. Carro, P. Lopez-Garcia.
Probabilistic Cost Analysis of Logic Programs: A First Case Study.
XXXII Latin-American Conference on Informatics,
August
2006.
- E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo.
Using Combined Static Analysis and Profiling
for Logic Program Execution Time Estimation.
22nd International Conference on Logic Programming
(ICLP'06),
LNCS,
Num. 4079,
pages 431-432,
Springer-Verlag,
August
2006.
- G. Puebla, E. Albert, M. V. Hermenegildo.
Abstract Interpretation with Specialized
Definitions.
The 13th International Static Analysis Symposium
(SAS'06),
LNCS,
Num. 4134,
pages 107-126,
Springer,
August
2006.
- E. Albert, P. Arenas, G. Puebla, M. Hermenegildo.
Reduced Certificates for Abstraction-Carrying
Code.
22nd International Conference on Logic Programming (ICLP
2006),
LNCS,
Num. 4079,
pages 163-178,
Springer-Verlag,
August
2006.
- A. Casas, D. Cabeza, M. V. Hermenegildo.
A Syntactic Approach to Combining Functional
Notation, Lazy Evaluation and Higher-Order
in LP Systems.
The 8th International Symposium on Functional and Logic
Programming (FLOPS'06),
pages 142-162,
April
2006.
- C. Ochoa, G. Puebla, M. V. Hermenegildo.
Removing Superfluous Versions in Polyvariant
Specialization of Prolog Programs.
15th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'05),
LNCS,
Num. 3901,
pages 80-97,
Springer-Verlag,
April
2006.
- E. Albert, G. Puebla, J. Gallagher.
Non-Leftmost Unfolding in Partial Evaluation of
Logic Programs with Impure Predicates.
15th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'05),
LNCS,
Num. 3901,
pages 115-132,
Springer-Verlag,
April
2006.
- J. Gallagher, G. Puebla, E. Albert .
Converting one Type-Based Abstract Domain to
Another.
15th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'05),
LNCS,
Num. 3901,
pages 147-162,
Springer-Verlag,
April
2006.
- J. Correas, G. Puebla, M. V. Hermenegildo, F. Bueno.
Experiments in Context-Sensitive Analysis of
Modular Programs.
15th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'05),
LNCS,
Num. 3901,
pages 163-178,
Springer-Verlag,
April
2006.
- D. Zanardini.
Abstract Non-Interference in a fragment of Java
bytecode.
ACM Symposium on Applied Computing (SAC),
ACM Press, New York,
April
2006.
- J. Navas, F. Bueno, M. V. Hermenegildo.
Efficient Top-Down Set-Sharing Analysis Using Cliques.
8th International Symposium on Practical Aspects of
Declarative Languages (PADL'06),
LNCS,
Num. 2819,
pages 183-198,
Springer-Verlag,
January
2006.
- Andy King, Lunjin Lu, Samir Genaim.
Detecting Determinacy in Prolog Programs..
Logic Programming, 22nd International Conference, ICLP
2006,
Seattle, WA, USA, August 17-20, 2006, Proceedings,
Lecture Notes in Computer Science,
Vol. 4079,
pages 132-147,
Springer,
2006.
- G. Puebla, C. Ochoa.
Poly-Controlled Partial Evaluation.
8th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming
(PPDP'06),
ACM Press,
2006.
Books and Monographs:
- Dave Barker-Plummer, Richard Cox, Nik Swoboda.
Diagrammatic Representation and Inference.
Lecture Notes in Artificial Intelligence,
Num. 4045,
300 pages,
Springer,
June
2006.
Invited Papers and Tutorials:
- The Ciao Development Team.
The Ciao Multiparadigm Language and Program
Development Environment.
6 pages,
November
2006.
The ALP Newsletter 19(3). The Association for Logic
Programming..
- G. Puebla, E. Albert, P. Arenas, M. V. Hermenegildo.
On Abstraction-Carrying Code and Certificate-Size
Reduction.
1st International Workshop on Emerging Applications of
Abstract Interpretation (EAAI 2006),
15 pages,
March
2006.
- M. Carro, M. Freire .
Programas equivalentes.
Novática,
Num. 178-179,
3 pages,
Asociación de Técnicos en
Informática,
January
2006.
Available at https://www.ati.es/novatica/.
Publications in Refereed Workshops:
- E. Albert, P. Arenas, G. Puebla, M. Hermenegildo.
Generation of Reduced Certificates in
Abstraction-Carrying Code.
VI Jornadas Programación y Lenguajes (PROLE'06),
10 pages,
October
2006.
- E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo.
Towards Execution Time Estimation for Logic
Programs via Static Analysis and Profiling.
16th Workshop on Logic Programming Environments,
pages 45-60,
University of Namur, Institut d'Informatique,
August
2006.
- E. Albert, P. Arenas, G. Puebla.
Some Issues on Incremental Abstraction-Carrying
Code.
16th Workshop on Logic-Based Methods in Programming
Environments (WLPE'06) ,
15 pages,
August
2006.
- E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla.
Towards Verification of Java Bytecode using Tools
for Logic Programming.
International Workshop on Software Verification and
Validation (SVV 2006),
15 pages,
August
2006.
- E. Albert, P. Arenas, G. Puebla.
Incremental Certificates and Checkers for
Abstraction-Carrying Code.
Sixth Workshop on Issues in the Theory of Security,
16 pages,
March
2006.
Technical Reports and Manuals:
- M. Méndez-Lojo, J. Navas, M. Hermenegildo.
Efficient, Parametric Analysis of Java Bytecode.
Num. CLIP9/2006.0,
Technical University of Madrid (UPM),
December
2006.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Automatic Cost Analysis of Java Bytecode.
Num. CLIP10/2006.0,
Technical University of Madrid,
December
2006.
- J. Morales, M. Carro, M. Hermenegildo.
Description and Optimization of Abstract Machines
in an Extension of Prolog.
Num. CLIP8/2006.0,
43 pages,
Technical University of Madrid (UPM),
December
2006.
- M. Hermenegildo, The Ciao Development Team.
Why Ciao? -An Overview of the Ciao System's
Design Philosophy.
Num. CLIP7/2006.0,
6 pages,
Technical University of Madrid (UPM),
December
2006.
Available from:
https://cliplab.org/papers/ciao-philosophy-note-tr.pdf.
- J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo.
Resource Bounds Analysis.
Num. CLIP6/2006.0,
19 pages,
Technical University of Madrid (UPM),
November
2006.
- P. Pietrzak, M. V. Hermenegildo.
Improved Automatic Error Diagnosis Based on
Abstract Interpretation.
Num. CLIP11/2006.0,
Technical University of Madrid,
September
2006.
- A. Kostenko, M. Carro.
A Preliminary DHT Infrastructure for Ciao.
Num. CLIP12/2006.0,
Technical University of Madrid (UPM),
August
2006.
- E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo.
Towards Combining Static Analysis and Profiling
for Estimating Execution Times in Logic
Programs.
Num. CLIP5/2006.0,
15 pages,
Technical University of Madrid (UPM),
April
2006.
- M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo.
Optimizing Prolog for Small Devices: A Case
Study.
Num. CLIP4/2006.0,
16 pages,
Technical University of Madrid,
April
2006.
Under consideration for publication.
- E. Albert, P. Arenas, G. Puebla.
An Incremental Approach to Abstraction-Carrying
Code.
Num. CLIP3/2006,
16 pages,
Technical University of Madrid (UPM),
March
2006.
- F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo.
The Ciao Preprocessor.
Num. CLIP1/06,
99 pages,
Technical University of Madrid (UPM),
January
2006.
- F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo.
A Tutorial on Program Development and
Optimization using the
Ciao Preprocessor.
Num. CLIP2/06,
55 pages,
Technical University of Madrid (UPM),
January
2006.
- A. Casas, D. Cabeza, M. V. Hermenegildo.
A Syntactic Approach to Combining Functional
Notation, Lazy Evaluation and Higher-Order
in LP Systems.
Num. TR-CS-2006-07,
17 pages,
University of New Mexico (UNM),
2006.
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