The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Germán Vidal: [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. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Call-By Name Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:17-28 [Conf]
  4. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Safe Folding/Unfolding with Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:347-358 [Conf]
  5. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    Using Narrowing Approximations to Optimize Equational Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:127-142 [Conf]
  6. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    A Compositional Semantics for Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:62-76 [Conf]
  7. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Safe Folding/Unfolding with Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:1-15 [Conf]
  8. María Alpuente, Moreno Falaschi, Germán Vidal
    Compositional Analysis for Equational Horn Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:77-94 [Conf]
  9. 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]
  10. María Alpuente, Moreno Falaschi, Germán Vidal
    Narrowing-Driven Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:45-61 [Conf]
  11. Michael Leuschel, Germán Vidal
    Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:61-76 [Conf]
  12. 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]
  13. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    A Transformation System for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:147-162 [Conf]
  14. Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
    Towards CNC Programming Using Haskell. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:386-396 [Conf]
  15. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    A Compositional Semantics for Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:171-182 [Conf]
  16. María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
    Specialization of Inductively Sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:273-283 [Conf]
  17. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Fast narrowing-driven partial evaluation for inductively sequential programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:228-239 [Conf]
  18. Claudio Ochoa, Josep Silva, Germán Vidal
    A Slicing Tool for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:498-501 [Conf]
  19. Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
    Run-Time Profiling of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:182-197 [Conf]
  20. Elvira Albert, Sergio Antoy, Germán Vidal
    Measuring the Effectiveness of Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  21. 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]
  22. Elvira Albert, Germán Vidal
    Symbolic Profiling for Multi-paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:148-167 [Conf]
  23. Germán Vidal
    Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:219-237 [Conf]
  24. Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:60-76 [Conf]
  25. 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]
  26. 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]
  27. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Specialization of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:151-162 [Conf]
  28. Germán Vidal
    Cost-augmented narrowing-driven specialization. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:52-62 [Conf]
  29. Claudio Ochoa, Josep Silva, Germán Vidal
    Dynamic slicing based on redex trails. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:123-134 [Conf]
  30. Germán Vidal
    Quasi-terminating logic programs for ensuring the termination of partial evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:51-60 [Conf]
  31. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    Narrowing Approximations as an Optimization for Equational Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:391-409 [Conf]
  32. Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
    A semantics for tracing declarative multi-paradigm programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:179-190 [Conf]
  33. 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]
  34. María Alpuente, Moreno Falaschi, Germán Vidal
    Incremental Equational Constraint Analyses. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:657- [Conf]
  35. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    An Automatic Composition Algorithm for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2000, pp:289-297 [Conf]
  36. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    An Embedded Language Approach to Router Specification in Curry. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2004, pp:277-288 [Conf]
  37. 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]
  38. 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]
  39. 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]
  40. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Using PE to Automate Program Composition. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:169-183 [Conf]
  41. María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal
    Un Sistema de Transformación para Programas Multiparadigma. [Citation Graph (0, 0)][DBLP]
    Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 1999, v:8, n:, pp:27-35 [Journal]
  42. María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
    Specialization of Functional Logic Programs Based on Needed Narrowing [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  43. María Alpuente, Moreno Falaschi, Germán Vidal
    A Unifying View of Functional and Logic Program Specialization. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:9- [Journal]
  44. 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]
  45. 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]
  46. Germán Vidal
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  47. Diego Cheda, Josep Silva, Germán Vidal
    Static Slicing of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:123-136 [Journal]
  48. 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]
  49. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Ensuring the quasi-termination of needed narrowing computations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:101, n:5, pp:220-226 [Journal]
  50. 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]
  51. 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]
  52. Germán Vidal
    Cost-Augmented Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:1-2, pp:7-46 [Journal]
  53. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Uniform Lazy Narrowing. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:2, pp:287-312 [Journal]
  54. 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]
  55. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Rules + strategies for transforming lazy functional logic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:479-525 [Journal]
  56. María Alpuente, Moreno Falaschi, Germán Vidal
    A Compositional Semantic Basis for the Analysis of Equational Horn Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:165, n:1, pp:133-169 [Journal]
  57. María Alpuente, Moreno Falaschi, Germán Vidal
    Partial Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:768-844 [Journal]
  58. María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
    Specialization of functional logic programs based on needed narrowing. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:273-303 [Journal]
  59. Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
    Lazy call-by-value evaluation. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:265-276 [Conf]
  60. Jesús Manuel Almendros-Jiménez, Germán Vidal
    Automatic Partial Inversion of Inductively Sequential Functions. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:253-270 [Conf]
  61. Claudio Ochoa, Josep Silva, Germán Vidal
    Lightweight program specialization via dynamic slicing. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:1-7 [Conf]
  62. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    An offline partial evaluator for curry programs. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:49-53 [Conf]
  63. Josep Silva, Germán Vidal
    Forward slicing of functional logic programs by partial evaluation [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  64. Termination of Narrowing in Left-Linear Constructor Systems. [Citation Graph (, )][DBLP]


  65. Trace Analysis for Predicting the Effectiveness of Partial Evaluation. [Citation Graph (, )][DBLP]


  66. Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. [Citation Graph (, )][DBLP]


  67. Fast Offline Partial Evaluation of Large Logic Programs. [Citation Graph (, )][DBLP]


  68. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. [Citation Graph (, )][DBLP]


  69. Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. [Citation Graph (, )][DBLP]


  70. Towards Scalable Partial Evaluation of Declarative Programs. [Citation Graph (, )][DBLP]


  71. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. [Citation Graph (, )][DBLP]


  72. Improving Size-Change Analysis in Offline Partial Evaluation [Citation Graph (, )][DBLP]


  73. Dynamic Slicing Techniques for Petri Nets. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.018secs
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