Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Germán
    Last name: Vidal
    DBLP: v/GermanVidal
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 86  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Naoki Nishida 0001, Germán Vidal.
    Conversion to tail recursion in term rewriting.
    J. Log. Algebr. Program. 2014, Volume 83 (0) 2014
    Conference paper
    Germán Vidal.
    Annotation of logic programs for independent AND-parallelism by partial evaluation.
    TPLP 2012, Volume 12 (0) 2012
    Journal article
    Germán Vidal.
    Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation
    CoRR 2012, Volume 0 (0) 2012
    Journal article
    Matthias Blume, Germán Vidal.
    Preface.
    Theor. Comput. Sci. 2012, Volume 435 (0) 2012
    Conference paper
    Germán Vidal.
    Closed Symbolic Execution for Verifying Program Termination.
    12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012, Riva del Garda, Italy, September 23-24, 2012 2012 (0) 2012
    Conference paper
    Naoki Nishida 0001, Germán Vidal.
    Computing More Specific Versions of Conditional Rewriting Systems.
    Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Naoki Nishida, Germán Vidal.
    Program Inversion for Tail Recursive Functions.
    Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia 2011 (0) 2011
    Journal article
    Julia Lawall, Germán Puebla, Germán Vidal.
    Editorial.
    Higher-Order and Symbolic Computation 2011, Volume 24 (0) 2011
    Journal article
    Germán Vidal, Neng-Fa Zhou.
    Proceedings of CICLOPS-WLPE 2010
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Naoki Nishida, Germán Vidal.
    Termination of narrowing via termination of rewriting.
    Appl. Algebra Eng. Commun. Comput. 2010, Volume 21 (0) 2010
    Conference paper
    Germán Vidal.
    A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs.
    Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 2011 (0) 2010
    Conference paper
    Michael Leuschel, Salvador Tamarit, Germán Vidal.
    Improving Size-Change Analysis in Offline Partial Evaluation
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Michael Leuschel, Salvador Tamarit, Germán Vidal.
    Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.
    Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    José Iborra, Naoki Nishida, Germán Vidal.
    Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.
    Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    Germán Vidal.
    Towards Scalable Partial Evaluation of Declarative Programs.
    Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    Germán Vidal.
    Termination of Narrowing in Left-Linear Constructor Systems.
    Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Germán Vidal.
    Trace Analysis for Predicting the Effectiveness of Partial Evaluation.
    Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings 2008 (0) 2008
    Conference paper
    Michael Leuschel, Germán Vidal.
    Fast Offline Partial Evaluation of Large Logic Programs.
    Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    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, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal.
    Dynamic Slicing Techniques for Petri Nets.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 223 (0) 2008
    Conference paper
    Claudio Ochoa, Josep Silva, Germán Vidal.
    Dynamic slicing of lazy functional programs based on redex trails.
    Higher-Order and Symbolic Computation 2008, Volume 21 (0) 2008
    Conference paper
    Bernd Brassel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal.
    Lazy call-by-value evaluation.
    Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007 2007 (0) 2007
    Conference paper
    Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal.
    Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.
    Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 2008 (0) 2007
    Conference paper
    Germán Vidal.
    Quasi-terminating logic programs for ensuring the termination of partial evaluation.
    Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007 2007 (0) 2007
    Conference paper
    Diego Cheda, Josep Silva, Germán Vidal.
    Static Slicing of Rewrite Systems.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 177 (0) 2007
    Show item 1 to 25 of 86  

    Your query returned 86 matches in the database.