Search the dblp DataBase

Publications of Author

1. Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
   Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. [Citation Graph (0, 0)][DBLP]
   PADL, 2007, pp:124-139 [Conf]
   
2. Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
   Heap space analysis for java bytecode. [Citation Graph (0, 0)][DBLP]
   ISMM, 2007, pp:105-116 [Conf]
   
3. Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
   Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:85-101 [Journal]
   
4. 
   Live heap space analysis for languages with garbage collection. [Citation Graph (, )][DBLP]
   
   
5. 
   Parametric inference of memory requirements for garbage collected languages. [Citation Graph (, )][DBLP]
   
   
6. 
   Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. [Citation Graph (, )][DBLP]
   
   
7. 
   Test Data Generation of Bytecode by CLP Partial Evaluation. [Citation Graph (, )][DBLP]
   
   
8. 
   PET: a partial evaluation-based test case generation tool for Java bytecode. [Citation Graph (, )][DBLP]
   
   
9. 
   Modular Decompilation of Low-Level Code by Partial Evaluation. [Citation Graph (, )][DBLP]
   
   
10. 
    On the Generation of Test Data for Prolog by Partial Evaluation [Citation Graph (, )][DBLP]
    
    
11. 
    Verification of Java Bytecode using Analysis and Transformation of Logic Programs [Citation Graph (, )][DBLP]
    
    
12. 
    Test Case Generation for Object-Oriented Imperative Languages in CLP [Citation Graph (, )][DBLP]