CLIP Group's Publications in 2007
Articles in Refereed Journals:
- M. Bruynooghe, M. Codish, J.
P. Gallagher, S. Genaim, W. Vanhoof.
Termination analysis of logic programs through combination
of type-based norms.
ACM Transactions on Programming Languages and Systems,
Vol. 29,
Num. 2,
10 pages,
ACM Press,
2007.
- Patrick G.T. Healey, Nik Swoboda, Ichiro Umata, James King.
Graphical Language Games: Interactional constraints on
representational form.
Cognitive Science,
Vol. 31,
pages 285-309,
2007.
Articles in Refereed Conferences:
- Ruben Vazquez, Nik Swoboda.
Combining the Semantic Web with the Web as Background
Knowledge for Ontology Mapping.
OTM Conferences (1),
Lecture Notes in Computer Science,
Vol. 4803,
pages 814-831,
Springer,
November
2007.
- E. Albert, S. Genaim, M. Gómez-Zamalloa.
Heap Space Analysis for Java Bytecode.
Proceedings of the 6th International
Symposium on Memory Management (ISMM'07),
pages 105-116,
ACM Press,
October
2007.
- D. Zanardini.
Analyzing Non-Interference with respect to Classes.
Proceedings of the Italian Conference on Theoretical
Computer Science (ICTCS),
World Scientific,
October
2007.
- J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo.
User-Definable Resource Bounds Analysis
for Logic Programs.
23rd International Conference on Logic Programming
(ICLP'07),
Lecture Notes in Computer Science,
Vol. 4670,
pages 348-363,
Springer,
September
2007.
10-year Test of Time Award.
- P. Pietrzak, M. V. Hermenegildo.
Automatic Binding-related Error Diagnosis in Logic
Programs.
International Conference on Logic Programming
(ICLP'07),
LNCS,
Num. 4670,
pages 333-347,
Springer-Verlag,
September
2007.
- M. Méndez-Lojo, J. Navas, M. Hermenegildo.
A Flexible (C)LP-Based Approach to the
Analysis of Object-Oriented Programs.
17th International Symposium on Logic-based Program Synthesis
and Transformation (LOPSTR 2007),
Lecture Notes in Computer Science,
Num. 4915,
pages 154-168,
Springer-Verlag,
August
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Num. 4915,
pages 138-153,
Springer-Verlag,
August
2007.
- J.F. Morales, M. Carro, M. V. Hermenegildo.
Towards Description and Optimization of Abstract
Machines in an Extension of Prolog.
Logic-Based Program Synthesis and
Transformation (LOPSTR'06),
LNCS,
Num. 4407,
pages 77-93,
July
2007.
- J. Lipton, S. Nieva.
Higher Order Logic Programming Languages with Constraints:
A Semantics.
Typed Lambda Calculus and Applications (TLCA) 07,
Lecture Notes in Computer Science,
Num. 4583,
pages 272-289,
Springer,
June
2007.
- M. Marron, D. Stefanovic, M. Hermenegildo, D. Kapur.
Heap Analysis in the Presence of Collection
Libraries.
ACM WS on Program Analysis for Software Tools and
Engineering (PASTE'07),
ACM,
June
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Cost Analysis of Java Bytecode.
16th European Symposium on Programming, ESOP'07,
Lecture Notes in Computer Science,
Vol. 4421,
pages 157-172,
Springer,
March
2007.
- E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla.
Verification of Java Bytecode using Analysis and
Transformation of Logic Programs.
Ninth International Symposium on Practical Aspects of
Declarative Languages (PADL 2007),
LNCS,
Num. 4354,
pages 124-139,
Springer-Verlag,
January
2007.
- E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo.
Combining Static Analysis and Profiling for
Estimating Execution Times.
Ninth International Symposium on Practical Aspects of
Declarative Languages (PADL'07),
LNCS,
Num. 4354,
pages 140-154,
Springer-Verlag,
January
2007.
- C. Ochoa, G. Puebla.
Poly-Controlled Partial Evaluation in Practice.
ACM Partial Evaluation and Program Manipulation
(PEPM'07),
pages 164-173,
ACM Press,
January
2007.
Books and Monographs:
- G. Puebla.
Logic Based Program Synthesis and Transformation
(LOPSTR'06).
LNCS,
Num. 4407,
237 pages,
Springer,
March
2007.
Invited Papers and Tutorials:
- G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard.
MOBIUS: Mobility, Ubiquity, Security: Objectives and
progress report.
Trustworthy Global Computing'06,
LNCS,
Num. 4661,
pages 10-29,
Springer,
March
2007.
- M. Carro, M. Freire .
Saldando Cuentas.
Novática,
Num. 186-187,
3 pages,
Asociación de Técnicos en
Informática,
January
2007.
Available at https://www.ati.es/novatica/.
- M. V. Hermenegildo, F. Bueno, A. Casas, J. Navas, E. Mera, M. Carro, P. Lopez-Garcia.
Automatic Granularity-Aware Parallelization of
Programs with Predicates, Functions, and
Constraints.
DAMP'07, ACM SIGPLAN Workshop on Declarative Aspects of
Multicore Programming,
pages 1-1,
ACM,
January
2007.
(abstract of invited talk).
Publications in Refereed Workshops:
- G. Marpons-Ucero, J. Mariño, A. Herranz, L.Å. Fredlund, M. Carro, J.J. Moreno-Navarro.
Automatic Coding Rule Conformance Checking Using Logic Programs.
17th Workshop on Logic-based methods in Programming
Environments, WLPE 2007,
September
2007.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, Claudio Silva, Ricardo Rocha.
Some Improvements over the Continuation Call
Tabling Implementation Technique.
Colloquium on Implementation of Constraint and LOgic
Programming Systems (ICLP associated workshop),
15 pages,
Universidade do Porto,
September
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
A Generic Framework for the Cost Analysis of Java
Bytecode.
Spanish Conference on
Programming and Computer Languages (PROLE'07),
September
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards High-Level Execution Primitives for
And-Parallelism: Preliminary Results.
Colloquium on Implementation of Constraint and LOgic
Programming Systems (CICLOPS'07, ICLP associated
workshop),
15 pages,
U. of Evora,
September
2007.
- Dave Barker-Plummer, Nik Swoboda.
A Sequent Based Logic for Coincidence Grid.
CEUR Workshop Proceedings,
Vol. 274,
pages 1-12,
September
2007.
Available online
https://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-274/.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Typed-based Homeomorphic Embedding for Online
Termination.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
August
2007.
Extended Abstract.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Applications of Static Slicing in Cost Analysis of
Java
Bytecode.
3rd International Workshop on
Programming Language Interference and Dependence (PLID'07),
August
2007.
- J. Navas, M. Méndez-Lojo, M. V. Hermenegildo.
An Efficient, Context and Path Sensitive Analysis Framework
for Java Programs.
9th Workshop on Formal Techniques for Java-like Programs
FTfJP 2007,
12 pages,
July
2007.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Improving the Decompilation of Java Bytecode to
Prolog
by Partial Evaluation.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'07),
Electronic Notes in Theoretical Computer Science,
Vol. 190, Issue 1,
pages 85-101,
Elsevier - North Holland,
July
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards A High-Level Implementation of Flexible
Parallelism Primitives for Symbolic
Languages.
Parallel Symbolic Computation (PASCO'07),
2 pages,
ACM Press,
July
2007.
Extended Abstract.
- M. Hermenegildo, The Ciao Development Team.
An Overview of The Ciao Multiparadigm Language
and Program Development Environment and its
Design Philosophy.
ECOOP Workshop on Multiparadigm Programming with
Object-Oriented Languages MPOOL 2007,
July
2007.
- E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini.
Termination Analysis of Java Bytecode.
9th International Workshop on Termination, WST'07,
June
2007.
- C. Ochoa, G. Puebla.
A Study on the Practicality of Poly-Controlled
Partial Evaluation.
Proceedings of the 15th Workshop on Functional and
(Constraint) Logic Programming (WFLP'06),
Electronic Notes in Theoretical Computer Science,
Vol. 177,
pages 137-151,
Elsevier,
June
2007.
- Nik Swoboda, Patrick G.T. Healey, Gonzalo Berrocal
Noguerales.
A prototype body orientation based drawing system.
First International Workshop on Pen-Based Learning
Technologies (PLT 2007),
pages 16-19,
IEEE Computer Society,
May
2007.
- M. Méndez-Lojo, J. Navas, M. V. Hermenegildo.
An Efficient, Parametric Fixpoint Algorithm for
Analysis of Java Bytecode.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE 2007),
Electronic Notes in Theoretical Computer Science,
Elsevier - North Holland,
March
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Experiments in Cost Analysis of Java Bytecode.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'07),
Electronic Notes in Theoretical Computer Science,
Vol. 190, Issue 1,
Elsevier,
2007.
Technical Reports and Manuals:
- G. Román-Díez, G. Puebla.
Java Bytecode Timing Cost Models.
Num. CLIP12/2007.0,
Technical University of Madrid,
December
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Automatic Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP11/2007.0,
Technical University of Madrid (UPM),
December
2007.
Under consideration for publication in Theory and
Practice of Logic Programming (TPLP).
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing for Java-style Programs (and proofs).
Num. CLIP2/2007.1,
Technical University of Madrid (UPM),
November
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-restricted, Independent
And-parallelism.
Num. TR-CS-2007-16,
University of New Mexico (UNM),
October
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. TR-CS-2007-14,
University of New Mexico (UNM),
September
2007.
- E. Mera, P. Lopez-Garcia, M. Carro, M. V. Hermenegildo.
Towards Execution Time Estimation in
Abstract Machine-Based (Logic) Languages.
Num. CLIP8/2007.0,
Technical University of Madrid (UPM),
August
2007.
- G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund.
Automatic Coding Rule Conformance Checking Using Logic Programming.
Num. CLIP6/2007.0,
Technical University of Madrid (UPM),
August
2007.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo.
An Improved Continuation Call-Based Implementation of Tabling.
Num. CLIP9/2007.0,
Technical University of Madrid (UPM),
August
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-Restricted, Independent
And-Parallelism.
Num. CLIP7/2007.0,
Technical University of Madrid (UPM),
August
2007.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Automatic Inference of Upper Bounds for Cost
Equation Systems.
Num. CLIP10/2007.0,
Technical University of Madrid,
July
2007.
- A. Casas, M. Carro, M. V. Hermenegildo.
Annotation Algorithms for Unrestricted Independent
And-Parallelism in Logic Programs.
Num. CLIP5/2007.0,
Technical University of Madrid (UPM),
June
2007.
- M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. García Pañoso, J. Lipton, P. Lopez-Garcia, E. Mera, J. Morales, C. Ochoa, G. Puebla.
Rigorous Methods for Mobile and Heterogeneous
Software Systems - First Year Report.
Num. CLIP4/2007.0,
Technical University of Madrid (UPM),
March
2007.
- M. Méndez-Lojo, M. Hermenegildo.
Precise Set Sharing and Nullity Analysis
for Java-style Programs.
Num. CLIP2/2007.0,
Technical University of Madrid (UPM),
February
2007.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Partial Evaluation Types for Improving the
Decompilation of Java Bytecode to Prolog.
Num. CLIP1/2007.0,
Technical University of Madrid (UPM),
February
2007.
- P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo.
Inferring Determinacy in Logic Programs Using
Mode and Type Information.
Num. CLIP3/2007.0,
Technical University of Madrid (UPM),
February
2007.
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