Publication Record
© Copyright
Copyrights are held variously by the authors or publishers.
In general, these papers are provided for direct use in scholarship and
education. If you are contemplating other uses, such as republication,
you must obtain appropriate permissions. If you wish to cite any of the
published work, please look up the formal publication, and use that version.
The preprints in this area are as accurate as we can make them, but they
are not authoritative copies of the published versions.
2011
-
E. Albert,
S. Genaim,
M. Gomez-Zamalloa,
E. B. Johnsen, R. Schlatte and S. L. Tapia Tarifa
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
17th Interational Symposium on Formal Methods
(FM'11)
Available: PDF
Springer LNCS 6664, pages 353-368, June 2011
-
E. Albert,
M. Gomez-Zamalloa and
J. M. Rojas.
Towards Resource-driven CLP-based Test Case Generation (extended abstract)
The 21th International Symposium on Logic-based Program Synthesis and Transformation
(LOPSTR'11)
Available: PDF
Pre-proceedings of LOPSTR'11, pages ??-??, July 2011.
2010
-
E. Albert,
M. Gomez-Zamalloa,
J. M. Rojas and
G. Puebla
Compositional CLP-based Test Data Generation for Imperative Languages
The 20th International Symposium on Logic-based Program Synthesis and Transformation
(LOPSTR'10)
Available: PDF
Springer, LNCS 6564, pages 99-116, 2010.
-
M. Gomez-Zamalloa,
E. Albert and
G. Puebla
Test Case Generation for Object-Oriented
Imperative Languages in CLP
26th International Conference on Logic
Programming
(ICLP'10)
Available: PDF (preprint)
TPLP Special Issue, Vol. 10 (4-6), pages 659-674, Cambridge U. Press, July 2010.
-
E. Albert,
S. Genaim
and M. Gomez-Zamalloa.
Parametric Inference of Memory Requirements for
Garbage Collected Languages
The 2010 International Symposium on Memory Management
(ISMM'10)
Available: PDF
ACM Press. ISMM 2010, pages 121-130, June 2010.
-
E. Albert,
M. Gomez-Zamalloa and
G. Puebla
PET: A Partial Evaluation-based Test Case
Generation Tool for Java Bytecode
ACM SIGPLAN Workshop on Partial
Evaluation and Semantics-based Program
Manipulation
(PEPM'10)
Available: PDF
ACM Press. PEPM 2010, pages 25-28, January 2010.
-
E. Albert,
M. Gomez-Zamalloa,
J. M. Rojas and
G. Puebla
Towards Compositional CLP-based Test Data
Generation for Imperative Languages (extended abstract)
The 20th International Symposium on Logic-based Program Synthesis and Transformation
(LOPSTR'10)
Available: PDF
Pre-proceedings of LOPSTR'10, pages 47-57, July 2010.
2009
-
E. Albert,
J. Gallagher,
M. Gomez-Zamalloa and
G. Puebla
Type-based Homeomorphic Embedding for
Online Termination
Information Processing Letters
Available: PDF (preprint)
Vol. 109, pages 879-886, Elsevier, July 2009.
-
M. Gomez-Zamalloa,
E. Albert and
G. Puebla
Decompilation of Java Bytecode to Prolog by
Partial Evaluation
Journal of Information and Software Technology
Available: PDF (preprint)
Vol. 51, pages 1409-1427, Elsevier, October 2009.
-
E. Albert,
S. Genaim
and M. Gomez-Zamalloa.
Live Heap Space Analysis for Languages with
Garbage Collection
The 2009 International Symposium on Memory Management
(ISMM'09)
Available: PDF
ACM Press ISMM 2009, pages 129-138, 2009.
-
E. Albert,
P. Arenas,
S. Genaim,
M. Gomez-Zamalloa,
G. Puebla,
D. Ramirez, G. Roman
and D. Zanardini.
Termination and Cost Analysis with COSTA and
its User Interfaces
Spanish Conference on Programming and Computer Languages
(PROLE'09)
Available: PDF
ENTCS, Vol. 248, pages 109-121, Elsevier, September 2009
2008
2007
-
E. Albert,
S. Genaim
and M. Gomez-Zamalloa.
Heap Space Analysis for Java Bytecode
The 2007 International Symposium on Memory Management
(ISMM'07)
Available: PDF
ACM Press ISMM 2007, pages 105-116, October
2007.
-
E. Albert,
M. Gomez-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'07)
Available: PDF
Springer LNCS 4354, pages 140-154, January 2007.
-
E. Albert,
J. Gallagher,
M. Gomez-Zamalloa and
G. Puebla
Type-based Homeomorphic Embedding and its
Applications to Online Partial Evaluation
The 17th International Symposium on Logic-based Program Synthesis and Transformation
(LOPSTR'07)
Available: PDF
Springer LNCS 4915, pages 23-42, 2008
-
E. Albert,
M. Gomez-Zamalloa,
G. Puebla.
Improving the Decompilation of Java Bytecode to Prolog
ETAPS Workshop on Bytecode Semantics,
Verification, Analysis and Transformation (BYTECODE'07)
Available: PDF
Elsevier ENTCS 190-1, pages 85-101, July 2007.
-
E. Albert,
J. Gallagher,
M. Gomez-Zamalloa and
G. Puebla
Typed-based Homeomorphic Embedding for Online
Termination (extended abstract)
The 17th International Symposium on Logic-based Program Synthesis and Transformation
(LOPSTR'07)
2006