The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Elvira Albert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Polygenetic Partial Evaluation of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:151-164 [Conf]
  2. Elvira Albert, Josep Silva, Germán Vidal
    Time Equations for Lazy Functional (Logic) Languages. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:13-24 [Conf]
  3. Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
    Improving Functional Logic Programs by Difference-Lists. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:237-254 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:21-36 [Conf]
  5. Elvira Albert, Michael Hanus, Germán Vidal
    A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:326-342 [Conf]
  6. Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
    Reduced Certificates for Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:163-178 [Conf]
  7. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Abstract Interpretation-Based Mobile Code Certification. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:446-447 [Conf]
  8. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:407-409 [Conf]
  9. Elvira Albert, Sergio Antoy, Germán Vidal
    Measuring the Effectiveness of Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  10. Elvira Albert, Sergio Antoy, Germán Vidal
    Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:103-124 [Conf]
  11. Elvira Albert, Germán Puebla, John P. Gallagher
    Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:115-132 [Conf]
  12. Elvira Albert, Germán Vidal
    Symbolic Profiling for Multi-paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:148-167 [Conf]
  13. John P. Gallagher, Germán Puebla, Elvira Albert
    Converting One Type-Based Abstract Domain to Another. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:147-162 [Conf]
  14. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    Efficient Local Unfolding with Ancestor Stacks for Full Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:149-165 [Conf]
  15. Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
    A Partial Evaluation Framework for Curry Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:376-395 [Conf]
  16. Elvira Albert, Puri Arenas, Germán Puebla
    An Incremental Approach to Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:377-391 [Conf]
  17. Elvira Albert, Michael Hanus, Germán Vidal
    Using an Abstract Representation to Specialize Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:381-398 [Conf]
  18. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:380-397 [Conf]
  19. Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
    A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:61-76 [Conf]
  20. 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]
  21. Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
    Abstraction carrying code and resource-awareness. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:1-11 [Conf]
  22. Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Improving Control in Functional Logic Program Specialization. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:262-277 [Conf]
  23. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    Abstract Interpretation with Specialized Definitions. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:107-126 [Conf]
  24. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Experiments in abstract interpretation-based code certification for pervasive systems. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1125-1130 [Conf]
  25. Elvira Albert, Sergio Antoy, Germán Vidal
    A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:120-127 [Conf]
  26. Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
    List-Processing Optimizations in a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:184-194 [Conf]
  27. Elvira Albert, Michael Hanus, Germán Vidal
    Realistic Program Specialization in a Multi-Paradigm Language. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:104-119 [Conf]
  28. Elvira Albert
    Partial evaluation of multi-paradigm declarative languages. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2001, v:14, n:4, pp:235-237 [Journal]
  29. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
    An Operational Semantics for Declarative Multi-Paradigm Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:6, pp:- [Journal]
  30. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
    Operational Semantics for Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  31. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    An Abstract Interpretation-based Approach to Mobile Code Safety. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:113-129 [Journal]
  32. Elvira Albert, Michael Hanus, Germán Vidal
    A residualizing semantics for the partial evaluation of functional logic programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:85, n:1, pp:19-25 [Journal]
  33. Elvira Albert, Michael Hanus, Germán Vidal
    A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
  34. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
    Operational semantics for declarative multi-paradigm languages. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:40, n:1, pp:795-829 [Journal]
  35. Elvira Albert, Germán Vidal
    The Narrowing-driven Approach to Functional Logic Program Specialization. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2001, v:20, n:1, pp:3-26 [Journal]
  36. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
    Cost Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:157-172 [Conf]
  37. 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]
  38. Elvira Albert, Puri Arenas, Germán Puebla
    Some Issues on Incremental Abstraction-Carrying Code [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  39. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
    Experiments in Cost Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:67-83 [Journal]
  40. 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]

  41. Asymptotic Resource Usage Bounds. [Citation Graph (, )][DBLP]


  42. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  43. Field-Sensitive Value Analysis by Field-Insensitive Analysis. [Citation Graph (, )][DBLP]


  44. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. [Citation Graph (, )][DBLP]


  45. Termination Analysis of Java Bytecode. [Citation Graph (, )][DBLP]


  46. Resource Usage Analysis and Its Application to Resource Certification. [Citation Graph (, )][DBLP]


  47. Live heap space analysis for languages with garbage collection. [Citation Graph (, )][DBLP]


  48. Parametric inference of memory requirements for garbage collected languages. [Citation Graph (, )][DBLP]


  49. Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. [Citation Graph (, )][DBLP]


  50. Test Data Generation of Bytecode by CLP Partial Evaluation. [Citation Graph (, )][DBLP]


  51. PET: a partial evaluation-based test case generation tool for Java bytecode. [Citation Graph (, )][DBLP]


  52. Removing useless variables in cost analysis of Java bytecode. [Citation Graph (, )][DBLP]


  53. From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. [Citation Graph (, )][DBLP]


  54. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. [Citation Graph (, )][DBLP]


  55. Modular Decompilation of Low-Level Code by Partial Evaluation. [Citation Graph (, )][DBLP]


  56. A Generic Framework for the Analysis and Specialization of Logic Programs [Citation Graph (, )][DBLP]


  57. On the Generation of Test Data for Prolog by Partial Evaluation [Citation Graph (, )][DBLP]


  58. Efficient Local Unfolding with Ancestor Stacks [Citation Graph (, )][DBLP]


  59. Verification of Java Bytecode using Analysis and Transformation of Logic Programs [Citation Graph (, )][DBLP]


  60. Test Case Generation for Object-Oriented Imperative Languages in CLP [Citation Graph (, )][DBLP]


  61. Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. [Citation Graph (, )][DBLP]


  62. Preface. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002