| 2008 |
|---|
| 20 | EE | Edison Mera,
Pedro López-García,
Manuel Carro,
Manuel V. Hermenegildo:
Towards execution time estimation in abstract machine-based languages.
PPDP 2008: 174-184 |
| 2007 |
|---|
| 19 | EE | Jorge Navas,
Edison Mera,
Pedro López-García,
Manuel V. Hermenegildo:
User-Definable Resource Bounds Analysis for Logic Programs.
ICLP 2007: 348-363 |
| 18 | EE | Edison Mera,
Pedro López-García,
Germán Puebla,
Manuel Carro,
Manuel V. Hermenegildo:
Combining Static Analysis and Profiling for Estimating Execution Times.
PADL 2007: 140-154 |
| 17 | EE | Edison Mera,
Pedro López-García,
Germán Puebla,
Manuel Carro,
Manuel V. Hermenegildo:
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
CoRR abs/cs/0701108: (2007) |
| 2006 |
|---|
| 16 | EE | Edison Mera,
Pedro López-García,
Germán Puebla,
Manuel Carro,
Manuel V. Hermenegildo:
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.
ICLP 2006: 431-432 |
| 2005 |
|---|
| 15 | EE | Manuel V. Hermenegildo,
Elvira Albert,
Pedro López-García,
Germán Puebla:
Abstraction carrying code and resource-awareness.
PPDP 2005: 1-11 |
| 14 | EE | Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
Pedro López-García:
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).
Sci. Comput. Program. 58(1-2): 115-140 (2005) |
| 2004 |
|---|
| 13 | EE | Manuel V. Hermenegildo,
Elvira Albert,
Pedro López-García,
Germán Puebla:
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.
Euro-Par 2004: 21-36 |
| 12 | EE | Francisco Bueno,
Pedro López-García,
Manuel V. Hermenegildo:
Multivariant Non-failure Analysis via Standard Abstract Interpretation.
FLOPS 2004: 100-116 |
| 11 | EE | Pedro López-García,
Francisco Bueno,
Manuel V. Hermenegildo:
Determinacy Analysis for Logic Programs Using Mode and Type Information.
LOPSTR 2004: 19-35 |
| 2003 |
|---|
| 10 | EE | Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
Pedro López-García:
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).
SAS 2003: 127-152 |
| 2002 |
|---|
| 9 | EE | Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
Pedro López-García:
Program Debugging and Validation Using Semantic Approximations and Partial Specifications.
ICALP 2002: 69-72 |
| 8 | EE | Manuel V. Hermenegildo,
Germán Puebla,
Francisco Bueno,
Pedro López-García:
Abstract Verification and Debugging of Constraint Logic Programs.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 1-14 |
| 1999 |
|---|
| 7 | | Manuel V. Hermenegildo,
Francisco Bueno,
Germán Puebla,
Pedro López-García:
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.
ICLP 1999: 52-66 |
| 1997 |
|---|
| 6 | | Saumya K. Debray,
Pedro López-García,
Manuel V. Hermenegildo:
Non-Failure Analysis for Logic Programs.
ICLP 1997: 48-62 |
| 5 | | Saumya K. Debray,
Pedro López-García,
Manuel V. Hermenegildo,
Nai-Wei Lin:
Lower Bound Cost Estimation for Logic Programs.
ILPS 1997: 291-305 |
| 1996 |
|---|
| 4 | | Manuel V. Hermenegildo,
Francisco Bueno,
Daniel Cabeza,
Manuel Carro,
Maria J. García de la Banda,
Pedro López-García,
Germán Puebla:
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
APPIA-GULP-PRODE 1996: 105-110 |
| 3 | | Pedro López-García,
Manuel V. Hermenegildo,
Saumya K. Debray:
A Methodology for Granularity-Based Control of Parallelism in Logic Programs.
J. Symb. Comput. 21(4): 715-734 (1996) |
| 1995 |
|---|
| 2 | | Manuel V. Hermenegildo,
Pedro López-García:
Efficient Term Size Computation for Granularity Control.
ICLP 1995: 647-661 |
| 1994 |
|---|
| 1 | | Saumya K. Debray,
Pedro López-García,
Manuel V. Hermenegildo,
Nai-Wei Lin:
Estimating the Computational Cost of Logic Programs.
SAS 1994: 255-265 |
