Search Results - Gomez-Zamalloa, M.

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Decompilation of Java bytecode to Prolog by partial evaluation

    Decompilation of Java bytecode to Prolog by partial evaluation by Gómez-Zamalloa, Miguel, Albert, Elvira, Puebla, Germán

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Termination and Cost Analysis with COSTA and its User Interfaces

    Termination and Cost Analysis with COSTA and its User Interfaces by Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G., Ramírez, D., Román, G., Zanardini, D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    jPET: An Automatic Test-Case Generator for Java

    jPET: An Automatic Test-Case Generator for Java by Albert, E., Cabanas, I., Flores-Montoya, A., Gomez-Zamalloa, M., Gutierrez, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Modular Decompilation of Low-Level Code by Partial Evaluation

    Modular Decompilation of Low-Level Code by Partial Evaluation by Gomez-Zamalloa, M., Albert, E., Puebla, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: