| 2009 |
|---|
| 7 | EE | Miguel Gómez-Zamalloa,
Elvira Albert,
Germán Puebla:
On the Generation of Test Data for Prolog by Partial Evaluation
CoRR abs/0903.2199: (2009) |
| 2008 |
|---|
| 6 | EE | Elvira Albert,
Miguel Gómez-Zamalloa,
Germán Puebla:
Test Data Generation of Bytecode by CLP Partial Evaluation.
LOPSTR 2008: 4-23 |
| 5 | EE | Miguel Gómez-Zamalloa,
Elvira Albert,
Germán Puebla:
Modular Decompilation of Low-Level Code by Partial Evaluation.
SCAM 2008: 239-248 |
| 2007 |
|---|
| 4 | EE | Elvira Albert,
Samir Genaim,
Miguel Gómez-Zamalloa:
Heap space analysis for java bytecode.
ISMM 2007: 105-116 |
| 3 | EE | Elvira Albert,
John P. Gallagher,
Miguel Gómez-Zamalloa,
Germán Puebla:
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.
LOPSTR 2007: 23-42 |
| 2 | EE | Elvira Albert,
Miguel Gómez-Zamalloa,
Laurent Hubert,
Germán Puebla:
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.
PADL 2007: 124-139 |
| 1 | EE | Miguel Gómez-Zamalloa,
Elvira Albert,
Germán Puebla:
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.
Electr. Notes Theor. Comput. Sci. 190(1): 85-101 (2007) |
