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 86 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
    Conference paper
    J. Guadalupe Ramos, Josep Silva, Germán Vidal.
    Ensuring the quasi-termination of needed narrowing computations.
    Inf. Process. Lett. 2007, Volume 101 (0) 2007
    Conference paper
    Josep Silva, Germán Vidal.
    Forward slicing of functional logic programs by partial evaluation.
    TPLP 2007, Volume 7 (0) 2007
    Conference paper
    Jesús Manuel Almendros-Jiménez, Germán Vidal.
    Automatic Partial Inversion of Inductively Sequential Functions.
    Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers 2007 (0) 2006
    Conference paper
    Claudio Ochoa, Josep Silva, Germán Vidal.
    A Slicing Tool for Lazy Functional Logic Programs.
    Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal.
    Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.
    Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 2007 (0) 2006
    Conference paper
    Josep Silva, Germán Vidal.
    Forward slicing of functional logic programs by partial evaluation
    CoRR 2006, Volume 0 (0) 2006
    Conference paper
    Michael Leuschel, Germán Vidal.
    Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.
    Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005 (0) 2005
    Conference paper
    J. Guadalupe Ramos, Josep Silva, Germán Vidal.
    Fast narrowing-driven partial evaluation for inductively sequential programs.
    Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 2005 (0) 2005
    Conference paper
    Claudio Ochoa, Josep Silva, Germán Vidal.
    Lightweight program specialization via dynamic slicing.
    Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 2005 (0) 2005
    Conference paper
    J. Guadalupe Ramos, Josep Silva, Germán Vidal.
    An offline partial evaluator for curry programs.
    Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 2005 (0) 2005
    Conference paper
    Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal.
    Operational semantics for declarative multi-paradigm languages.
    J. Symb. Comput. 2005, Volume 40 (0) 2005
    Conference paper
    María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal.
    Specialization of functional logic programs based on needed narrowing.
    TPLP 2005, Volume 5 (0) 2005
    Conference paper
    Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal.
    Towards CNC Programming Using Haskell.
    Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal.
    Run-Time Profiling of Functional Logic Programs.
    Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Claudio Ochoa, Josep Silva, Germán Vidal.
    Dynamic slicing based on redex trails.
    Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004 2004 (0) 2004
    Conference paper
    Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal.
    A semantics for tracing declarative multi-paradigm programs.
    Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy 2004 (0) 2004
    Conference paper
    J. Guadalupe Ramos, Josep Silva, Germán Vidal.
    An Embedded Language Approach to Router Specification in Curry.
    SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 2004 (0) 2004
    Conference paper
    María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal.
    Specialization of Functional Logic Programs Based on Needed Narrowing
    CoRR 2004, Volume 0 (0) 2004
    Conference paper
    Germán Vidal.
    Cost-Augmented Partial Evaluation of Functional Logic Programs.
    Higher-Order and Symbolic Computation 2004, Volume 17 (0) 2004
    Conference paper
    María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal.
    Rules + strategies for transforming lazy functional logic programs.
    Theor. Comput. Sci. 2004, Volume 311 (0) 2004
    Conference paper
    Elvira Albert, Josep Silva, Germán Vidal.
    Time Equations for Lazy Functional (Logic) Languages.
    2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003 2003 (0) 2003
    Conference paper
    Germán Vidal.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 86 (0) 2003
    Conference paper
    Elvira Albert, Michael Hanus, Germán Vidal.
    A residualizing semantics for the partial evaluation of functional logic programs.
    Inf. Process. Lett. 2003, Volume 85 (0) 2003
    Conference paper
    María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal.
    Uniform Lazy Narrowing.
    J. Log. Comput. 2003, Volume 13 (0) 2003
    Conference paper
    Germán Vidal.
    Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.
    Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers 2003 (0) 2002
    Conference paper
    Germán Vidal.
    Cost-augmented narrowing-driven specialization.
    PEPM 2002 (0) 2002
    Conference paper
    Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal.
    An Operational Semantics for Declarative Multi-Paradigm Languages.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 70 (0) 2002
    Conference paper
    Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal.
    Operational Semantics for Functional Logic Languages.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 76 (0) 2002
    Conference paper
    Elvira Albert, Michael Hanus, Germán Vidal.
    A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages.
    Journal of Functional and Logic Programming 2002, Volume 2002 (0) 2002
    Conference paper
    Elvira Albert, Michael Hanus, Germán Vidal.
    A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.
    Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Elvira Albert, Germán Vidal.
    Symbolic Profiling for Multi-paradigm Declarative Languages.
    Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers 2001 (0) 2001
    Conference paper
    Elvira Albert, Germán Vidal.
    The Narrowing-driven Approach to Functional Logic Program Specialization.
    New Generation Comput. 2001, Volume 20 (0) 2001
    Conference paper
    Elvira Albert, César Ferri, Frank Steiner, Germán Vidal.
    Improving Functional Logic Programs by Difference-Lists.
    Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Elvira Albert, Sergio Antoy, Germán Vidal.
    Measuring the Effectiveness of Partial Evaluation.
    LOPSTR 2000 (0) 2000
    Conference paper
    Elvira Albert, Sergio Antoy, Germán Vidal.
    Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.
    Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. 2001 (0) 2000
    Conference paper
    Elvira Albert, Michael Hanus, Germán Vidal.
    Using an Abstract Representation to Specialize Functional Logic Programs.
    Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal.
    An Automatic Composition Algorithm for Functional Logic Programs.
    SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Elvira Albert, Sergio Antoy, Germán Vidal.
    A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.
    9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000 (0) 2000
    Conference paper
    Elvira Albert, César Ferri, Frank Steiner, Germán Vidal.
    List-Processing Optimizations in a Multi-Paradigm Declarative Language.
    9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000 (0) 2000
    Conference paper
    Elvira Albert, Michael Hanus, Germán Vidal.
    Realistic Program Specialization in a Multi-Paradigm Language.
    9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000 (0) 2000
    Conference paper
    María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal.
    Using PE to Automate Program Composition.
    9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000 (0) 2000
    Conference paper
    María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal.
    A Transformation System for Lazy Functional Logic Programs.
    Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings 1999 (0) 1999
    Conference paper
    María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal.
    Specialization of Inductively Sequential Functional Logic Programs.
    ICFP 1999 (0) 1999
    Conference paper
    Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal.
    A Partial Evaluation Framework for Curry Programs.
    Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings 1999 (0) 1999
    Conference paper
    María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal.
    Un Sistema de Transformación para Programas Multiparadigma.
    Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 1999, Volume 8 (0) 1999
    Conference paper
    Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal.
    Polygenetic Partial Evaluation of Lazy Functional Logic Programs.
    1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998 1998 (0) 1998
    Conference paper
    Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal.
    Improving Control in Functional Logic Program Specialization.
    Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings 1998 (0) 1998
    Conference paper
    María Alpuente, Moreno Falaschi, Germán Vidal.
    A Unifying View of Functional and Logic Program Specialization.
    ACM Comput. Surv. 1998, Volume 30 (0) 1998
    Conference paper
    María Alpuente, Moreno Falaschi, Germán Vidal.
    Partial Evaluation of Functional Logic Programs.
    ACM Trans. Program. Lang. Syst. 1998, Volume 20 (0) 1998
    Conference paper
    María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal.
    Safe Folding/Unfolding with Conditional Narrowing.
    1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997 1997 (0) 1997
    Conference paper
    María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal.
    Safe Folding/Unfolding with Conditional Narrowing.
    Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings 1997 (0) 1997
    Conference paper
    María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal.
    Specialization of Lazy Functional Logic Programs.
    PEPM 1997 (0) 1997
    Conference paper
    María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal.
    Call-By Name Partial Evaluation of Functional Logic Programs.
    1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996 1996 (0) 1996
    Conference paper
    María Alpuente, Moreno Falaschi, Germán Vidal.
    Narrowing-Driven Partial Evaluation of Functional Logic Programs.
    Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings 1996 (0) 1996
    Conference paper
    María Alpuente, Moreno Falaschi, Germán Vidal.
    A Compositional Semantic Basis for the Analysis of Equational Horn Programs.
    Theor. Comput. Sci. 1996, Volume 165 (0) 1996
    Conference paper
    María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal.
    A Compositional Semantics for Conditional Term Rewriting Systems.
    1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1 1994 (0) 1994
    Conference paper
    María Alpuente, Moreno Falaschi, Germán Vidal.
    Compositional Analysis for Equational Horn Programs.
    Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings 1994 (0) 1994
    Conference paper
    María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal.
    A Compositional Semantics for Conditional Term Rewriting Systems.
    Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France 1994 (0) 1994
    Conference paper
    María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal.
    Using Narrowing Approximations to Optimize Equational Logic Programs.
    8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993 1993 (0) 1993
    Conference paper
    María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal.
    Narrowing Approximations as an Optimization for Equational Logic Programs.
    Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings 1993 (0) 1993
    Conference paper
    María Alpuente, Moreno Falaschi, Germán Vidal.
    Incremental Equational Constraint Analyses.
    ILPS 1993 (0) 1993
    Show item 1 to 86 of 86  

    Your query returned 86 matches in the database.