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 10 of 91  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Germán Vidal.
    Symbolic execution as a basis for termination analysis.
    Sci. Comput. Program. 2015, Volume 102 (0) 2015
    Conference paper
    Naoki Nishida 0001, Germán Vidal.
    A framework for computing finite SLD trees.
    J. Log. Algebr. Meth. Program. 2015, Volume 84 (0) 2015
    Journal article
    Naoki Nishida 0001, Germán Vidal.
    Conversion to tail recursion in term rewriting.
    J. Log. Algebr. Program. 2014, Volume 83 (0) 2014
    Journal article
    Michael Leuschel, Germán Vidal.
    Fast offline partial evaluation of logic programs.
    Inf. Comput. 2014, Volume 235 (0) 2014
    Conference paper
    Germán Vidal.
    Towards Symbolic Execution in Erlang.
    Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers 2015 (0) 2014
    Conference paper
    Germán Vidal.
    Concolic Execution and Test Case Generation in Prolog.
    Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers 2015 (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
    Show item 1 to 10 of 91  

    Your query returned 91 matches in the database.