Germán Vidal's Papers
copyright
Copyrights are held variously by the authors or publishers. In general, these papers are provided for direct use in scholarship and education. If you are contemplating other uses, such as republication, you must obtain appropriate permissions. If you wish to cite any of the published work, please look up the formal publication, and use that version. The preprints in this area are as accurate as I can make them, but they are not authoritative copies of the published versions.

2011

2010

2009

  • Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal
    A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
    Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2008). Springer LNCS 5438, pp. 40-54, 2009.
    Extended and revised version of this abstract.
    © Springer-Verlag
    Available: Abstract / PDF / BibTeX entry

  • José Iborra, Naoki Nishida and Germán Vidal
    Goal-directed and Relative Dependency Pairs for Proving the Termination of Narrowing
    Proc. of the 19th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), Springer LNCS 6037, pp. 52-66, 2010.
    © Springer-Verlag
    Available: Abstract / PDF / Online paper / BibTeX entry / Experimental evaluation

  • Germán Puebla, Germán Vidal
    Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2009)
    Savannah, GA (USA), January 19-20, ACM Press, 2009. Online version
    © ACM Press

  • Michael Leuschel, Salvador Tamarit, and Germán Vidal
    Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
    Proc. of the 18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009). To appear in Springer LNCS, 2009.
    © Springer-Verlag
    Available: Abstract / PDF / BibTeX entry

  • Michael Leuschel, Germán Vidal
    Fast Offline Partial Evaluation of Large Logic Programs
    Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2008). Springer LNCS 5438, pp. 119-134, 2009.
    Extended and revised version of this abstract.
    © Springer-Verlag
    Available: Abstract / PDF / BibTeX entry

  • Germán Vidal
    Towards Scalable Partial Evaluation of Declarative Programs (invited talk)
    Proc. of the 19th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), Springer LNCS, 6037, pp. 1-4, 2010.
    © Springer-Verlag
    Available: PDF / SLIDES / Online paper / BibTeX entry

2008

2007

2006

  • Jesús Almendros and Germán Vidal
    Automatic Partial Inversion of Inductively Sequential Functions
    18th International Symposium on Implementation and Application of Functional Languages (IFL 2006), Budapest (Hungary), pp. 473-483,
    Available: Abstract / PS / PDF / Extended version (17 pags) / BibTeX entry

  • Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs
    International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006), pp. 55-61, 2006
    Available: Abstract / PDF preprint / Technical report / BibTeX entry

  • Diego Cheda, Josep Silva, Germán Vidal
    Static Slicing of Rewrite Systems
    15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), ENTCS 177:123-136, 2007.
    © Elsevier
    Available: Abstract / Online paper / PDF preprint / BibTeX entry

  • Claudio Ochoa, Josep Silva, Germán Vidal
    A Slicing Tool for Lazy Functional Logic Programs
    10th European Conference on Logics in Artificial Intelligence (JELIA'06). Springer LNCS 4160, pp. 498-560, 2006.
    © Springer-Verlag
    Available: Abstract / PDF / BibTeX entry

  • Germán Vidal
    Towards Predicting the Effectiveness of Partial Evaluation
    Technical report, DSIC, Technical University of Valencia, 2006. Superseded by this paper
    Available: Abstract / PDF

  • Germán Vidal
    Quasi-terminating logic programs for ensuring the termination of partial evaluation
    Technical report, DSIC, Technical University of Valencia, 2006.
    Available: Abstract / PDF / PS

2005

2004

2003

2002

2001

2000

  • Elvira Albert, Sergio Antoy, Germán Vidal
    Measuring the Effectiveness of Partial Evaluation
    Proc. of the 10th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2000), London, UK, 2000
    Available: Abstract / PS / BibTeX entry

  • Elvira Albert, Sergio Antoy, and Germán Vidal
    A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
    In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
    UPV (ref. 2000.2039), pp. 120-127, 2000

  • Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
    Improving Functional Logic Programs by Difference-Lists
    Proc. of the 6th Asian Computing Science Conference (ASIAN 2000), Penang, Malaysia, 2000.
    © Springer-Verlag
    Available: Abstract / PS / BibTeX entry

  • Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
    List-Processing Optimizations in a Multi-Paradigm Declarative Language
    In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
    UPV (ref. 2000.2039), pp. 184-194, 2000

  • Elvira Albert, Michael Hanus, Germán Vidal
    Using an Abstract Representation to Specialize Functional Logic Programs
    Proc. of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000), Reunion Island, France, 2000.
    © Springer-Verlag
    Available: Abstract / PS / BibTeX entry

  • Elvira Albert, Michael Hanus, and Germán Vidal
    Realistic Program Specialization in a Multi-Paradigm Language
    In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
    UPV (ref. 2000.2039), pp. 104-119, 2000

  • María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    An Automatic Composition Algorithm for Functional Logic Programs
    Proc. of the 27th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2000), Milovy, Czech Republic, 2000.
    © Springer-Verlag
    Available: Abstract / PS / BibTeX entry

  • María Alpuente, M. Falaschi, Ginés Moreno, and Germán Vidal
    Using PE to Automate Program Composition
    In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
    UPV (ref. 2000.2039), pp. 169-183, 2000

1999

  • E. Albert, M. Alpuente, M. Hanus, G. Vidal
    A Partial Evaluation Framework for Curry Programs
    Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1999
    © Springer-Verlag
    Available: Abstract / PS / DVI / BibTeX entry

  • E. Albert, M. Alpuente, M. Hanus, G. Vidal
    Partial Evaluation of Residuating Functional Logic Programs
    Proc. of the 8th International Workshop on Functional and Logic Programming (WFLP'99), Grenoble (France), 1999

  • M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
    A Transformation System for Lazy Functional Logic Programs
    Proc. of the 4th International Symposium on Functional and Logic Programming (FLOPS'99), 1999
    © Springer-Verlag
    Available: Abstract / Online paper / PS / BibTeX entry

  • M. Alpuente, M. Hanus, S. Lucas, G. Vidal
    Specialization of Inductively Sequential Functional Logic Programs
    Proc. of the 1999 ACM International Conference on Functional Programming (ICFP'99).
    ACM Sigplan Notices 34(9):273-283, 1999
    © ACM Press
    Available: Abstract / PS / BibTeX entry

  • M. Alpuente, M. Hanus, S. Lucas, G. Vidal
    Specialization of Functional Logic Programs Based on Needed Narrowing
    Proc. of the 8th International Workshop on Functional and Logic Programming (WFLP'99), Grenoble (France), 1999


1998

1997

  • M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
    Safe Folding/Unfolding with Conditional Narrowing
    Proc. of the 6th International Conference on Algebraic and Logic Programming (ALP'97), 1997.
    © Springer-Verlag
    Available: Abstract / Online paper / PDF preprint / BibTeX entry

  • M. Alpuente, M. Falaschi, P. Julián, G. Vidal
    Specialization of Lazy Functional Logic Programs
    Proc. of ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97).
    ACM Sigplan Notices, volume 32(12):151-162, ACM Press, 1997
    Available: Abstract / PDF / BibTeX entry

  • M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
    Safe Folding/Unfolding with Conditional Narrowing
    Proc. of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), Grado (Italy). G.R.U. Logic Programming, pp. 347-358, 1997.

  • G. Vidal
    Semantics-Based Analysis and Transformation of Functional Logic Programs
    (thesis abstract)
    Bulletin of the EATCS, number 61:253-254, Feb 1997

1996

  • M. Alpuente, M. Falaschi, P. Julián, G. Vidal
    Call-by-Name Specialization of Functional Logic Programs
    JICSLP'96 Multi-Paradigm Logic Programming Workshop (MPLP'96), Bonn (Germany). T.U. Berlin, 1996
    Available: Abstract / PDF / BibTeX entry

  • M. Alpuente, M. Falaschi, G. Vidal
    A Compositional Semantic Basis for the Analysis of Equational Horn Programs
    Theoretical Computer Science, volume 165(1):97-131, Sept 1996
    Available: Abstract / PDF preprint / BibTeX entry

  • M. Alpuente, M. Falaschi, G. Vidal
    Narrowing-driven Partial Evaluation of Functional Logic Programs
    Proc. of the European Symposium on Programming (ESOP'96), Linköping (Sweden). Springer LNCS 1058, pp. 45-61, 1996
    © Springer-Verlag
    Available: Abstract / Online paper / PDF / BibTeX entry

  • M. Alpuente, M. Falaschi, G. Vidal
    Call-by-Name Partial Evaluation of Functional Logic Programs
    Proc. of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96), Donosti (Spain). Euskal Erriko Unibersitatea, pp. 17-28, 1996
    Available: PDF

  • G. Vidal
    Semantics-Based Analysis and Transformation of Functional Logic Programs
    Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Sep 1996. In Spanish (published by Ed. UPV, ISBN 84-699-5066-5, 2001)
    Available: Abstract / PS / BibTeX entry

1995

  • M. Alpuente, M. Falaschi, P. Julián, G. Vidal
    Narrowing-driven Specialization of Functional Logic Programs
    Proc. of the 4th Compulog Subgroup Meeting on Programming Languages, 1995
    Available: PDF

  • M. Alpuente, M. Falaschi, G. Vidal
    Partial Evaluation of Functional Logic Programs
    Proc. of the First International Workshop of the HCM Project CONSOLE, Venezia, Italy, 1995

1994

  • M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
    A Compositional Semantics for Conditional Term Rewriting Systems
    Proc. of the 1994 International Conference on Computer Languages (ICCL'94), Tolouse (France). IEEE Society Press, pp. 7-12, 1994
    © IEEE Computer Society Press
    Available: Abstract / PDF / BibTeX entry

  • M. Alpuente, M. Falaschi, M.J. Ramis and G. Vidal
    Unfolding of Equational Logic Programs
    Proc. of the Third Compulog-Network Subgroup Meeting on Programming Languages, Madrid, Spain, 1994
    Available: PDF

  • M. Alpuente, M. Falaschi, G. Vidal
    Compositional Analysis for Equational Horn Programs
    Proc. of the Fifth International Conference on Algebraic and Logic Programming (ALP'94), Madrid (Spain). Springer LNCS 850, pp. 77-94, 1994
    © Springer-Verlag
    Available: Abstract / Online paper / PDF / BibTeX entry

  • M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
    A Compositional Semantics for Conditional Term Rewriting Systems
    Proc. of the Joint Conference on Declarative Programming (GULP-PRODE'94), Peñíscola (Spain), Ed. UPV, pp. 62-76, 1994

1993

  • M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
    Narrowing Approximations as an Optimization for Equational Logic Programs
    Proc. of the Fifth International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), Tallin (Estonia). Springer LNCS 714, pp. 391-409, 1993
    © Springer-Verlag
    Available: Abstract / PDF / BibTeX entry

  • M. Alpuente, M. Falaschi, G. Vidal
    Compositional Analysis for Equational Horn Programs
    Proc. of Segundo Congreso de Programación Declaratica (PRODE'93), Blanes (Spain). CSIC, pp. 155-172, 1993.

  • M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
    Using Narrowing Approximations to Optimize Equational Logic Programs
    Proc. of the 8th Italian Conference on Logic Programming (GULP'93), Gizzeria Lido (Italy). G.R.U. Logic Programming, 1993
    Available: Abstract / PDF / BibTeX entry

  • M. Alpuente, M. Falaschi, G. Vidal
    Incremental Equational Constraint Analyses
    Proc. of the 10th International Logic Programming Symposium (ILPS'93), Vancouver (Canada). MIT Press, Cambridge, MA, 1993. Poster
    Available: PDF / BibTeX entry

  • G. Vidal
    Optimizations of Equational Logic Programs Using Abstract Narrowing
    Technical Report DSIC - II/32/93, UPV
    Available: Abstract / PDF / BibTeX entry

1992

  • M. Alpuente, J. Piris, M.J. Ramírez, G. Vidal
    Combination and Evaluation of Incremental Strategies in CLP(H/E)
    Technical Report DSIC - II/14/92, UPV. In Spanish