Germán Vidal

According to our database, Germán Vidal authored at least 129 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Distribution Semantics for Probabilistic Term Rewriting.

Germán Vidal

CoRR, 2024

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages.

Germán Vidal

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Reversible Debugging of Erlang Programs in CauDEr.

Ivan Lanese, Germán Vidal

Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024

Explaining Explanations in Probabilistic Logic Programming.

Germán Vidal

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Towards a Taxonomy for Reversible Computation Approaches.

Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation - 15th International Conference, 2023

From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs.

Germán Vidal

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

Reversible Debugging in Logic Programming.

Germán Vidal

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives.

Germán Vidal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Explanations as Programs in Probabilistic Logic Programming.

Germán Vidal

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs.

Ivan Lanese, Adrián Palacios, Germán Vidal

Fundam. Informaticae, 2021

A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging.

Juan José González-Abril, Germán Vidal

CoRR, 2021

A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency.

Juan José González-Abril, Germán Vidal

CoRR, 2021

Causal-Consistent Reversible Debugging: Improving CauDEr.

Juan José González-Abril, Germán Vidal

Proceedings of the Practical Aspects of Declarative Languages, 2021

Prefix-Based Tracing in Message-Passing Concurrency.

Juan José González-Abril, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2021

2020

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.

James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Foundations of Reversible Computation.

Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Concolic Testing in CLP.

Fred Mesnard, Étienne Payet, Germán Vidal

Theory Pract. Log. Program., 2020

Selective Unification in (Constraint) Logic Programming.

Fred Mesnard, Étienne Payet, Germán Vidal

Fundam. Informaticae, 2020

Reversible Computations in Logic Programming.

Germán Vidal

Proceedings of the Reversible Computation - 12th International Conference, 2020

An SMT-Based Concolic Testing Tool for Logic Programs.

Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Introduction to the 35th International Conference on Logic Programming Special Issue.

Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang

Theory Pract. Log. Program., 2019

Characterizing Compatible View Updates in Syntactic Bidirectionalization.

Naoki Nishida, Germán Vidal

Proceedings of the Reversible Computation - 11th International Conference, 2019

Causal-Consistent Replay Debugging for Message Passing Programs.

Ivan Lanese, Adrián Palacios, Germán Vidal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

Introduction to the special issue on computational logic for verification.

Germán Vidal

Theory Pract. Log. Program., 2018

Preface for SCP special issue on Principles and Practice of Declarative Programming.

Germán Vidal

Sci. Comput. Program., 2018

Reversible computation in term rewriting.

Naoki Nishida, Adrián Palacios, Germán Vidal

J. Log. Algebraic Methods Program., 2018

A theory of reversibility for Erlang.

Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal

J. Log. Algebraic Methods Program., 2018

Specialization of Distributed Actors by Partial Evaluation.

Germán Vidal

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

CauDEr: A Causal-Consistent Reversible Debugger for Erlang.

Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Relative Termination via Dependency Pairs.

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada

J. Autom. Reason., 2017

2016

Tuning Fuzzy Logic Programs with Symbolic Execution.

Ginés Moreno, Jaime Penabad, Germán Vidal

CoRR, 2016

Towards Reversible Computation in Erlang.

Naoki Nishida, Adrián Palacios, Germán Vidal

CoRR, 2016

Reversible Term Rewriting.

Naoki Nishida, Adrián Palacios, Germán Vidal

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs.

Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

On the Completeness of Selective Unification in Concolic Testing of Logic Programs.

Fred Mesnard, Étienne Payet, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

A Reversible Semantics for Erlang.

Naoki Nishida, Adrián Palacios, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Concolic testing in logic programming.

Fred Mesnard, Étienne Payet, Germán Vidal

Theory Pract. Log. Program., 2015

Symbolic execution as a basis for termination analysis.

Germán Vidal

Sci. Comput. Program., 2015

A framework for computing finite SLD trees.

Naoki Nishida, Germán Vidal

J. Log. Algebraic Methods Program., 2015

Towards Modelling Actor-Based Concurrency in Term Rewriting.

Adrián Palacios, Germán Vidal

Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2015

Concolic Execution in Functional Programming by Program Instrumentation.

Adrián Palacios, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Reducing Relative Termination to Dependency Pair Problems.

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Conversion to tail recursion in term rewriting.

Naoki Nishida, Germán Vidal

J. Log. Algebraic Methods Program., 2014

Fast offline partial evaluation of logic programs.

Michael Leuschel, Germán Vidal

Inf. Comput., 2014

Concolic Execution and Test Case Generation in Prolog.

Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Towards Symbolic Execution in Erlang.

Germán Vidal

Proceedings of the Perspectives of System Informatics, 2014

2013

Towards Erlang Verification by Term Rewriting.

Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

A Finite Representation of the Narrowing Space.

Naoki Nishida, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012

Annotation of logic programs for independent AND-parallelism by partial evaluation.

Germán Vidal

Theory Pract. Log. Program., 2012

Preface.

Matthias Blume, Germán Vidal

Theor. Comput. Sci., 2012

Closed Symbolic Execution for Verifying Program Termination.

Germán Vidal

Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012

Computing More Specific Versions of Conditional Rewriting Systems.

Naoki Nishida, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

Editorial.

Julia Lawall, Germán Puebla, Germán Vidal

High. Order Symb. Comput., 2011

Program Inversion for Tail Recursive Functions.

Naoki Nishida, Germán Vidal

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Proceedings of CICLOPS-WLPE 2010

Germán Vidal, Neng-Fa Zhou

CoRR, 2010

Termination of narrowing via termination of rewriting.

Naoki Nishida, Germán Vidal

Appl. Algebra Eng. Commun. Comput., 2010

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs.

Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009

Improving Size-Change Analysis in Offline Partial Evaluation

Michael Leuschel, Salvador Tamarit, Germán Vidal

CoRR, 2009

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.

Michael Leuschel, Salvador Tamarit, Germán Vidal

Proceedings of the Functional and Constraint Logic Programming, 2009

Towards Scalable Partial Evaluation of Declarative Programs.

Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.

José Iborra, Naoki Nishida, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

Dynamic slicing of lazy functional programs based on redex trails.

Claudio Ochoa, Josep Silva, Germán Vidal

High. Order Symb. Comput., 2008

Dynamic Slicing Techniques for Petri Nets.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Fast Offline Partial Evaluation of Large Logic Programs.

Michael Leuschel, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.

Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Trace Analysis for Predicting the Effectiveness of Partial Evaluation.

Germán Vidal

Proceedings of the Logic Programming, 24th International Conference, 2008

Termination of Narrowing in Left-Linear Constructor Systems.

Germán Vidal

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

Forward slicing of functional logic programs by partial evaluation.

Josep Silva, Germán Vidal

Theory Pract. Log. Program., 2007

Ensuring the quasi-termination of needed narrowing computations.

J. Guadalupe Ramos, Josep Silva, Germán Vidal

Inf. Process. Lett., 2007

Quasi-terminating logic programs for ensuring the termination of partial evaluation.

Germán Vidal

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.

Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Lazy call-by-value evaluation.

Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Static Slicing of Rewrite Systems.

Diego Cheda, Josep Silva, Germán Vidal

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.

Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

A Slicing Tool for Lazy Functional Logic Programs.

Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Automatic Partial Inversion of Inductively Sequential Functions.

Jesús Manuel Almendros-Jiménez, Germán Vidal

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Specialization of functional logic programs based on needed narrowing.

María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal

Theory Pract. Log. Program., 2005

Operational semantics for declarative multi-paradigm languages.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

J. Symb. Comput., 2005

An offline partial evaluator for curry programs.

J. Guadalupe Ramos, Josep Silva, Germán Vidal

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Lightweight program specialization via dynamic slicing.

Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Fast narrowing-driven partial evaluation for inductively sequential programs.

J. Guadalupe Ramos, Josep Silva, Germán Vidal

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.

Michael Leuschel, Germán Vidal

Proceedings of the Programming Languages and Systems, 2005

2004

Rules + strategies for transforming lazy functional logic programs.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Theor. Comput. Sci., 2004

Cost-Augmented Partial Evaluation of Functional Logic Programs.

Germán Vidal

High. Order Symb. Comput., 2004

An Embedded Language Approach to Router Specification in Curry.

J. Guadalupe Ramos, Josep Silva, Germán Vidal

Proceedings of the SOFSEM 2004: Theory and Practice of Computer Science, 2004

A semantics for tracing declarative multi-paradigm programs.

Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Dynamic slicing based on redex trails.

Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

Run-Time Profiling of Functional Logic Programs.

Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Towards CNC Programming Using Haskell.

Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the Advances in Artificial Intelligence, 2004

2003

Uniform Lazy Narrowing.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

J. Log. Comput., 2003

A residualizing semantics for the partial evaluation of functional logic programs.

Elvira Albert, Michael Hanus, Germán Vidal

Inf. Process. Lett., 2003

Preface.

Germán Vidal

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Time Equations for Lazy Functional (Logic) Languages.

Elvira Albert, Josep Silva, Germán Vidal

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages.

Elvira Albert, Michael Hanus, Germán Vidal

J. Funct. Log. Program., 2002

Operational Semantics for Functional Logic Languages.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

An Operational Semantics for Declarative Multi-Paradigm Languages.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

Cost-augmented narrowing-driven specialization.

Germán Vidal

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.

Germán Vidal

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

A Deterministic Operational Semantics for Functional Logic Programs.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

The Narrowing-driven Approach to Functional Logic Program Specialization.

Elvira Albert, Germán Vidal

New Gener. Comput., 2001

Symbolic Profiling for Multi-paradigm Declarative Languages.

Elvira Albert, Germán Vidal

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.

Elvira Albert, Michael Hanus, Germán Vidal

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Using PE to Automate Program Composition.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Realistic Program Specialization in a Multi-Paradigm Language.

Elvira Albert, Michael Hanus, Germán Vidal

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

List-Processing Optimizations in a Multi-Paradigm Declarative Language.

Elvira Albert, César Ferri, Frank Steiner, Germán Vidal

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.

Elvira Albert, Sergio Antoy, Germán Vidal

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

An Automatic Composition Algorithm for Functional Logic Programs.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000

Using an Abstract Representation to Specialize Functional Logic Programs.

Elvira Albert, Michael Hanus, Germán Vidal

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.

Elvira Albert, Sergio Antoy, Germán Vidal

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Measuring the Effectiveness of Partial Evaluation.

Elvira Albert, Sergio Antoy, Germán Vidal

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Improving Functional Logic Programs by Difference-Lists.

Elvira Albert, César Ferri, Frank Steiner, Germán Vidal

Proceedings of the Advances in Computing Science, 2000

1999

Un Sistema de Transformación para Programas Multiparadigma.

María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal

Inteligencia Artif., 1999

A Partial Evaluation Framework for Curry Programs.

Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Specialization of Inductively Sequential Functional Logic Programs.

María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

A Transformation System for Lazy Functional Logic Programs.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Partial Evaluation of Functional Logic Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

ACM Trans. Program. Lang. Syst., 1998

A Unifying View of Functional and Logic Program Specialization.

María Alpuente, Moreno Falaschi, Germán Vidal

ACM Comput. Surv., 1998

Improving Control in Functional Logic Program Specialization.

Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the Static Analysis, 5th International Symposium, 1998

Polygenetic Partial Evaluation of Lazy Functional Logic Programs.

Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Specialization of Lazy Functional Logic Programs.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Safe Folding/Unfolding with Conditional Narrowing.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A Compositional Semantic Basis for the Analysis of Equational Horn Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

Theor. Comput. Sci., 1996

Narrowing-Driven Partial Evaluation of Functional Logic Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

Proceedings of the Programming Languages and Systems, 1996

Call-By Name Partial Evaluation of Functional Logic Programs.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1994

Compositional Analysis for Equational Horn Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

A Compositional Semantics for Conditional Term Rewriting Systems.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Incremental Equational Constraint Analyses.

María Alpuente, Moreno Falaschi, Germán Vidal

Proceedings of the Logic Programming, 1993

Narrowing Approximations as an Optimization for Equational Logic Programs.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Using Narrowing Approximations to Optimize Equational Logic Programs.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the 8th Italian Conference on Logic Programming, 1993