- M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla.
An Overview of Ciao and its Design Philosophy.
Theory and Practice of Logic Programming,
Vol. 12,
Num. 1-2,
pages 219-252,
Cambridge University Press,
January
2012.
http://arxiv.org/abs/1102.5497.
JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS
CORE: A.
Citeseer: position 494/1221 (top 40%), impact 0.66.
Average position: top 32%.
- E. Albert, P. Arenas, G. Puebla, M. Hermenegildo.
Certificate Size Reduction in Abstraction-Carrying Code.
Theory and Practice of Logic Programming,
To Appear, 2012.
JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS
CORE: A.
Citeseer: position 494/1221 (top 40%), impact 0.66.
Average position: top 32%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Closed-Form Upper Bounds in Static Cost Analysis.
Journal of Automated Reasoning,
Vol. 46,
Num. 2,
pages 161-203,
Springer,
February
2011.
JCR: position (ave) top 51%, impact (ave) 0.78, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
CORE: A.
Citeseer: position 152/1221 (top 12%), impact 1.3.
Average position: top 28%.
- G. Puebla, E. Albert, M. Hermenegildo.
Efficient Local Unfolding with Ancestor Stacks.
Theory and Practice of Logic Programming,
Vol. 11,
Num. 1,
pages 1-32,
Cambridge U. Press,
January
2011.
JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS
CORE: A.
Citeseer: position 494/1221 (top 40%), impact 0.66.
Average position: top 32%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Closed-Form Upper Bounds in Static Cost Analysis.
Journal of Automated Reasoning,
Vol. 46,
Num. 2,
pages 161-203,
Springer,
2011.
JCR: position (ave) top 51%, impact (ave) 0.78, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
CORE: A.
Citeseer: position 152/1221 (top 12%), impact 1.3.
Average position: top 28%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Ramírez.
From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis.
Static Analysis Symposium (SAS'10),
LNCS,
pages 100-116,
Springer,
September
2010.
CORE: A.
Citeseer: position 145/1221 (top 12%), impact 1.35.
Average position: top 22%.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Test Case Generation for Object-Oriented Imperative Languages in CLP.
Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue,
Vol. 10 (4-6),
pages 659-674,
Cambridge U. Press,
July
2010.
JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS
CORE: A.
Citeseer: position 494/1221 (top 40%), impact 0.66.
Average position: top 32%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla.
Field-Sensitive Value Analysis by Field-Insensitive Analysis.
16th International Symposium on Formal Methods (FM'09),
Lecture Notes in Computer Science,
Vol. 5850,
pages 370-386,
Springer,
2009.
CORE: A.
Average position: top 33%.
- Elvira Albert, Puri Arenas, Samir Genaim, German Puebla.
Automatic Inference of Upper Bounds for
Recurrence Relations in Cost Analysis.
Static Analysis, 15th International Symposium, SAS 2008,
Valencia, Spain, July 15-17, 2008, Proceedings,
Lecture Notes in Computer Science,
Vol. 5079,
pages 221-237,
Springer-Verlag,
July
2008.
CORE: A.
Citeseer: position 145/1221 (top 12%), impact 1.35.
Average position: top 22%.
- 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.
CORE: A.
Citeseer: position 87/1221 (top 7%), impact 1.58.
Average position: top 20%.
- M. Carro, J. Morales, H.L. Muller, G. Puebla, M. 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.
CORE: A.
CiteseerX position (ave) top 23%, impact (ave) 0.192.
Average position: top 28%.
- E. Mera, P. López-García, 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.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- G. Puebla, E. Albert, M. Hermenegildo.
Abstract Interpretation with Specialized
Definitions.
The 13th International Static Analysis Symposium
(SAS'06),
LNCS,
Num. 4134,
pages 107-126,
Springer,
August
2006.
CORE: A.
Citeseer: position 145/1221 (top 12%), impact 1.35.
Average position: top 22%.
- 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.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- 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.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- G. Puebla, E. Albert, M. 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.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- M. Hermenegildo, G. Puebla, F. Bueno, P. López-García.
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 Science,
2005.
JCR: position (ave) top 42%, impact (ave) 0.80, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING
CORE: A.
Citeseer: position 185/1221 (top 15%), impact 1.22.
Average position: top 26%.
- E. Albert, G. Puebla, M. 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.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- M. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey.
Incremental Analysis of Constraint Logic
Programs.
ACM Transactions on Programming Languages and Systems,
Vol. 22,
Num. 2,
pages 187-223,
ACM Press,
March
2000.
JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING
CORE: A*.
Citeseer: position 41/1221 (top 3%), impact 1.92.
Average position: top 10%.
- G. Puebla, M. Hermenegildo.
Abstract Multiple Specialization and its
Application to Program Parallelization
(also available in ps).
J. of Logic Programming. Special Issue on Synthesis,
Transformation and Analysis of Logic Programs,
Vol. 41,
Num. 2&3,
pages 279-316,
Elsevier - North Holland,
November
1999.
JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS
CORE: A.
Citeseer: position 56/1221 (top 5%), impact 1.78.
Average position: top 20%.
- G. Puebla, F. Bueno, M. Hermenegildo.
A Framework for Assertion-based Debugging in
Constraint Logic Programming (abstract)
(also available in ps).
Proceedings of the International Conference on
Principles and Practice of Constraint Programming
(CP'98),
LNCS,
Num. 1520,
pages 472-473,
Springer-Verlag,
October
1998.
CORE: A.
CiteseerX position (ave) top 22%, impact (ave) 0.297.
Average position: top 27%.
- G. Puebla, M. Comini, W. Drabent, M. Ducass, M. Fabris, M. Meier, Ch. Schulte.
Tools and Environments for Constraint Logic
Programming.
International Logic Programming Symposium,
pages 417-418,
October
1997.
Workshop abstract.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- G. Puebla, M. García de la Banda, K. Marriott, P. Stuckey.
Optimization of Logic Programs with Dynamic
Scheduling
(also available in ps).
1997 International Conference on Logic Programming,
pages 93-107,
MIT Press,
June
1997.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- G. Puebla, M. Hermenegildo.
Optimized Algorithms for the Incremental Analysis
of Logic Programs
(also available in ps).
International Static Analysis Symposium (SAS 1996),
LNCS,
Num. 1145,
pages 270-284,
Springer-Verlag,
September
1996.
CORE: A.
Citeseer: position 145/1221 (top 12%), impact 1.35.
Average position: top 22%.
- G. Puebla, M. Hermenegildo.
Automatic Optimization of Dynamic Scheduling in
Logic Programs
(also available in ps).
Programming Languages: Implementation, Logics, and
Programs,
LNCS,
Num. 1140,
pages 475-476,
Springer-Verlag,
September
1996.
Poster abstract.
Citeseer: position 297/1221 (top 24%), impact 0.99.
Average position: top 24%.
- F. Bueno, D. Cabeza, M. Hermenegildo, G. Puebla.
Global Analysis of Standard Prolog Programs
(also available in ps).
European Symposium on Programming,
LNCS,
Num. 1058,
pages 108-124,
Springer-Verlag,
April
1996.
CORE: A.
Citeseer: position 87/1221 (top 7%), impact 1.58.
Average position: top 20%.
- G. Puebla, M. Hermenegildo.
Optimized Algorithms for the Incremental Analysis
of Logic Programs.
International Static Analysis Symposium (SAS 1996),
LNCS,
Num. 1145,
pages 270-284,
Springer-Verlag,
1996.
CORE: A.
Citeseer: position 145/1221 (top 12%), impact 1.35.
Average position: top 22%.
- M. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey.
Incremental Analysis of Logic Programs
(also available in ps).
International Conference on Logic Programming,
pages 797-811,
MIT Press,
June
1995.
CORE: A.
Citeseer: position 188/1221 (top 15%), impact 1.21.
Average position: top 24%.
- E. Albert, J. Correas, G. Puebla, G. Román-Díez.
Incremental Resource Usage Analysis.
ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation (PEPM 2012),
pages 25-34,
ACM Press,
January
2012.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
COSTABS: A Cost and Termination Analyzer for ABS.
ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation (PEPM 2012),
pages 151-154,
ACM Press,
January
2012.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
COSTABS: A Cost and Termination Analyzer for ABS.
Procs. of PEPM'12,
pages 151-154,
ACM Press,
2012.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Cost Analysis of Object-Oriented Bytecode Programs.
Theoretical Computer Science,
Vol. 413,
Num. 1,
pages 142-159,
Elsevier,
2012.
JCR: position (ave) top 59%, impact (ave) 0.60, subject(s): COMPUTER SCIENCE, THEORY & METHODS
CORE: A.
Citeseer: position 338/1221 (top 28%), impact 0.91.
Average position: top 36%.
- E. Albert, J. Correas, G. Puebla, G. Román-Díez.
Towards Incremental Resource Usage Analysis.
The Ninth Asian Symposium on Programming Languages and Systems (APLAS'11),
Springer,
December
2011.
Poster Presentation.
CORE: B.
CiteseerX position (ave) top 45%, impact (ave) 0.080.
Average position: top 55%.
- E. Albert, R. Bubel, S. Genaim, R. Hähnle, G. Puebla, G. Román-Díez.
Verified Resource Guarantees using COSTA and KeY.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation, PEPM 2011, Austin,
TX, USA, January 24-25, 2011,
pages 73-76,
ACM Press,
January
2011.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
Cost Analysis of Concurrent OO Programs.
The 9th Asian Symposium on Programming Languages and Systems (APLAS'11),
Vol. 7078,
pages 238-254,
Springer,
2011.
CORE: B.
CiteseerX position (ave) top 45%, impact (ave) 0.080.
Average position: top 55%.
- E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla.
Compositional CLP-based Test Data Generation for Imperative Languages.
LOPSTR 2010 Revised Selected Papers,
LNCS,
Vol. 6564,
pages 99-116,
Springer-Verlag,
2011.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- E. Albert, M. Gómez-Zamalloa, 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),
pages 25-28,
ACM Press,
2010.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.
- E. Albert, P. Arenas, D. Alonso, S. Genaim, G. Puebla.
Asymptotic Resource Usage Bounds.
The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09),
Lecture Notes in Computer Science,
Vol. 5904,
pages 294-310,
Springer,
December
2009.
CORE: B.
CiteseerX position (ave) top 45%, impact (ave) 0.080.
Average position: top 55%.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding for Online Termination.
Information Processing Letters,
Vol. 109,
Num. 15,
pages 879-886,
Elsevier,
July
2009.
JCR: position (ave) top 72%, impact (ave) 0.44, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMS
CORE: B.
Citeseer: position 551/1221 (top 45%), impact 0.58.
Average position: top 61%.
- E. Albert, M. Gómez-Zamalloa, G. Puebla.
Test Data Generation of Bytecode by CLP Partial Evaluation.
18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08),
LNCS,
Num. 5438,
pages 4-23,
Springer-Verlag,
March
2009.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- M. Gómez-Zamalloa, E. Albert, G. Puebla.
Modular Decompilation of Low-Level Code by Partial Evaluation.
8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08),
pages 239-248,
IEEE Computer Society,
September
2008.
CiteseerX position (ave) top 37%, impact (ave) 0.085.
Average position: top 37%.
- E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini.
Removing Useless Variables in Cost Analysis of
Java Bytecode.
ACM Symposium on Applied Computing (SAC) - Software
Verification Track (SV08),
pages 368-375,
ACM Press, New York,
March
2008.
CORE: B.
Citeseer: position 782/1221 (top 64%), impact 0.31.
Average position: top 64%.
- E. Albert, G. Puebla, M. Hermenegildo.
Abstraction-Carrying Code: A Model for Mobile
Code Safety.
New Generation Computing,
Vol. 26,
Num. 2,
pages 171-204,
March
2008.
JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS
CORE: B.
Citeseer: position 305/1221 (top 25%), impact 0.97.
Average position: top 50%.
- E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla.
Type-based Homeomorphic Embedding and its
Applications to Online Partial Evaluation.
17th International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'07),
LNCS,
Vol. 4915,
pages 23-42,
Springer-Verlag,
February
2008.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo.
A Practical Type Analysis for Verification of
Modular Prolog Programs.
ACM SIGPLAN 2008 Workshop on Partial Evaluation and
Program Manipulation (PEPM'08),
pages 61-70,
ACM Press,
January
2008.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.
- 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.
CORE: B.
CiteseerX position (ave) top 23%, impact (ave) 0.230.
Average position: top 44%.
- E. Mera, P. López-García, 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.
CORE: B.
CiteseerX position (ave) top 23%, impact (ave) 0.230.
Average position: top 44%.
- 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.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.
- 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.
CORE: A.
CiteseerX position (ave) top 38%, impact (ave) 0.169.
Average position: top 36%.
- P. Pietrzak, J. Correas, G. Puebla, M. 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.
CORE: A.
CiteseerX position (ave) top 38%, impact (ave) 0.169.
Average position: top 36%.
- C. Ochoa, G. Puebla, M. 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.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- 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.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- 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.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- J. Correas, G. Puebla, M. 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.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- 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.
CORE: B.
CiteseerX position (ave) top 26%, impact (ave) 0.183.
Average position: top 45%.
- G. Puebla, E. Albert, M. 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.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- E. Albert, G. Puebla, M. 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.
CORE: A.
CiteseerX position (ave) top 38%, impact (ave) 0.169.
Average position: top 36%.
- J. Gallagher, G. Puebla.
Abstract Interpretation over Non-Deterministic
Finite Tree Automata for Set-Based
Analysis of Logic Programs.
Fourth International Symposium on
Practical Aspects of Declarative Languages,
LNCS,
Num. 2257,
pages 243-261,
Springer-Verlag,
January
2002.
CORE: B.
CiteseerX position (ave) top 23%, impact (ave) 0.230.
Average position: top 44%.
- F. Bueno, M. García de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey.
A Model for Inter-module Analysis and Optimizing
Compilation
(also available in ps).
Logic-based Program Synthesis and Transformation,
LNCS,
Num. 2042,
pages 86-102,
Springer-Verlag,
March
2001.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- G. Puebla, F. Bueno, M. Hermenegildo.
Combined Static and Dynamic Assertion-Based
Debugging of Constraint Logic Programs
(also available in ps).
Logic-based Program Synthesis and Transformation
(LOPSTR'99),
LNCS,
Num. 1817,
pages 273-292,
Springer-Verlag,
March
2000.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- G. Puebla, M. Hermenegildo.
Abstract Specialization and its Application to
Program Parallelization.
Logic Program Synthesis and Transformation,
LNCS,
Num. 1207,
pages 169-186,
Springer-Verlag,
1997.
CORE: B.
Citeseer: position 363/1221 (top 30%), impact 0.85.
Average position: top 47%.
- G. Puebla, M. Hermenegildo.
Implementation of Multiple Specialization in Logic
Programs
(also available in ps).
Proc. ACM SIGPLAN Symposium on Partial Evaluation
and Semantics Based Program Manipulation,
pages 77-87,
ACM Press,
June
1995.
CORE: B.
Citeseer: position 65/1221 (top 5%), impact 1.74.
Average position: top 35%.