German Vidal

Publications

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.

2024

Germán Vidal. A Distribution Semantics for Probabilistic Term Rewriting.Technical Report, 2024. Preprint (arXiv)
Germán Vidal. Explaining Explanations in Probabilistic Logic Programming. 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024. Preprint (with proofs) / Online paper © Springer
Ivan Lanese, Germán Vidal. Reversible Debugging of Erlang Programs in CauDEr. Second Workshop on Future Debugging Techniques, DEBT 2024. Preprint / Online paper © ACM
Germán Vidal. An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages (Best Paper Award - System Software and Security). 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024. Preprint (arXiv) / Online paper © ACM
Germán Vidal. Explaining Explanations in Probabilistic Logic Programming. Technical Report, 2024. Preprint (arXiv)

2023

Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw A. Miszczak, Iain Phillips, Irek Ulidowski, and Germán Vidal. Towards a Taxonomy for Reversible Computation Approaches. 15th Conference on Reversible Computation, RC 2023. Preprint / Online paper © Springer
Germán Vidal. Reversible Debugging in Logic Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Preprint / Online paper © Springer
Germán Vidal. From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. 19th International Conference on Formal Aspects of Component Software, FACS 2023. Preprint (arXiv) / Online paper © Springer

2022

Germán Vidal. Explanations as Programs in Probabilistic Logic Programming. 16th International Symposium on Functional and Logic Programming, FLOPS 2022. Preprint / Video / Online paper © Springer
Germán Vidal. Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022. Preprint / Video / Online paper © Springer LNCS-IFIP
Juan José González-Abril, and Germán Vidal. Prefix-Based Tracing in Message-Passing Concurrency (revised and extended version of the LOPSTR'21 extended abstract below). Preprint © Springer

2021

Juan José González-Abril, and Germán Vidal. A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021. Preprint / Video.
Juan José González-Abril, and Germán Vidal. Causal-Consistent Reversible Debugging: Improving CauDEr. 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021. Preprint (extended version) / Video. © Springer
Ivan Lanese, Adrián Palacios, and Germán Vidal. Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundamenta Informaticae 178(3): 229-266, 2021. Preprint: Preprint / Online paper © IOS Press

2020

Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, and Germán Vidal. Foundations of Reversible Computation (chapter 1 in Reversible Computation: Extending Horizons of Computing). Online paper. Springer LNCS, 2020. © Springer
James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, and Germán Vidal. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. (chapter 5 in Reversible Computation: Extending Horizons of Computing). Online paper. Springer LNCS, 2020. © Springer
Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, and Germán Vidal. An SMT-Based Concolic Testing Tool for Logic Programs. 15th International Symposium on Functional and Logic Programming, FLOPS 2020. Poster (check also the associated paper) / Video / Online paper. © Springer
Fred Mesnard, Étienne Payet, and Germán Vidal. Selective Unification in (Constraint) Logic Programming. Fundamenta Informaticae 177(3-4): 359-383, 2020. Preprint / Online paper © IOS Press
Fred Mesnard, Étienne Payet, and Germán Vidal. Concolic Testing in CLP. 36th International Conference on Logic Programming, ICLP 2020. Preprint / Video / Online paper (TPLP) © Cambridge University Press
Germán Vidal. Reversible Computations in Logic Programming. 12th Conference on Reversible Computation, RC 2020. Preprint / Video / Online paper © Springer
Germán Vidal. Reversible Debugging in Logic Programming. Extended version of the above paper. Submitted for publication. arXiv:2007.16171

2019

Germán Vidal. Reversibilization in Functional and Concurrent Programming (invited talk). 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019. Slides
Ivan Lanese, Adrián Palacios, and Germán Vidal. Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019, Preprint / Online paper. Springer LNCS-IFIP, 2019. © Springer
Naoki Nishida and Germán Vidal. Characterizing Compatible View Updates in Syntactic Bidirectionalization. RC 2019, Preprint (including missing proofs) / Online paper. Springer LNCS, 2019. © Springer

2018

Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal. CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS 2018, PDF preprint. Springer LNCS, 2018. © Springer
Ivan Lanese, Naoki Nishida, Adrián Palacios and Germán Vidal. A Theory of Reversibility for Erlang. Journal of Logical and Algebraic Methods in Programming 100:71-97, 2018. Preprint / arXiv / Online article. © Elsevier
Naoki Nishida, Adrián Palacios and Germán Vidal. Reversible Computation in Term Rewriting. Journal of Logical and Algebraic Methods in Programming, vol. 94, pages 128-149, 2018. Preprint / arXiv / Online article. © Elsevier
Germán Vidal. Specialization of Distributed Actors by Partial Evaluation. SMC 2018, Preprint. © IEEE

2017

Fred Mesnard, Étienne Payet and Germán Vidal. Selective Unification in Constraint Logic Programming. 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017. ACM, 2017. Preprint. © ACM Press
José Iborra, Naoki Nishida, Germán Vidal and Akihisa Yamada. Relative Termination via Dependency Pairs. Journal of Automated Reasoning 58:391-411, 2017 Preprint / Online article (open access) © Springer

2016

Fred Mesnard, Étienne Payet and Germán Vidal. On the Completeness of Selective Unification in Concolic Testing of Logic Programs. 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. Springer LNCS 10184, pp. 205-221, 2017. Preprint / arXiv (pre-proceedings version) / Video. © Springer
Naoki Nishida, Adrián Palacios and Germán Vidal. A Reversible Semantics for Erlang. 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. Springer LNCS 10184, pp. 259-274, 2017. Preprint / arXiv (pre-proceedings version). © Springer
Ginés Moreno, Jaime Penabad, José A. Riaza and Germán Vidal. Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. Springer LNCS 10184, pp. 131-147, 2017. Preprint / arXiv (pre-proceedings version). © Springer
Naoki Nishida, Adrián Palacios and Germán Vidal. Reversible Term Rewriting. First International Conference on Formal Structures for Computation and Deduction, FSCD'16. Preprint / Video.
Naoki Nishida, Adrián Palacios and Germán Vidal. Reversible rewriting: foundations and applications. Technical report, Universitat Politècnica de València. PDF

2015

José Iborra, Naoki Nishida, Germán Vidal and Akihisa Yamada. Reducing Relative Termination to Dependency Pair Problems. The 25th jubilee edition of the International Conference on Automated Deduction, CADE 2015. Springer LNCS 9195, pp. 163-178, 2015. Preprint (including missing proofs) © Springer
Fred Mesnard, Étienne Payet, Germán Vidal. Concolic Testing in Logic programming. 31st International Conference on Logic Programming, ICLP 2015. Preprint / TPLP paper / Online appendix / Video (check also contest, our tool for concolic testing).
Naoki Nishida and Germán Vidal. A Framework for Computing Finite SLD Trees. Journal of Logical and Algebraic Methods in Programming, 84(2): 197-217, 2015. Preprint / Online article. © Elsevier
Adrián Palacios and Germán Vidal. Concolic Execution in Functional Programming by Program Instrumentation. 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015. Preprint
Adrián Palacios and Germán Vidal. Towards Modelling Actor-Based Concurrency in Term Rewriting. Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015. Preprint / Online paper, 2015.
Germán Vidal. Symbolic execution as a basis for termination analysis. Science of Computer Programming 102:142-157, 2015. Preprint / Online article. © Elsevier
Germán Vidal. Concolic Execution and Test Case Generation in Prolog. Revised and selected papers from LOPSTR 2014. Springer LNCS 8981: 167-181, 2015. Preprint. © Springer

2014

Michael Leuschel and Germán Vidal. Fast Offline Partial Evaluation of Logic Programs. Information and computation 235:70-97, 2014. Preprint / Online article. © Elsevier
Naoki Nishida and Germán Vidal. A Finite Representation of the Narrowing Space. Revised and selected papers from LOPSTR 2013. Springer LNCS 8901: 54-71, 2014. Preprint (with proofs) / UPV archive. © Springer
Naoki Nishida and Germán Vidal. Conversion to Tail Recursion in Term Rewriting. The Journal of Logic and Algebraic Programming 83(1): 53-63, 2014. Preprint / Online article. © Elsevier
Germán Vidal. Towards Erlang Verification by Term Rewriting. Revised and selected papers from LOPSTR 2013. Springer LNCS 8901: 109-126, 2014. Preprint / UPV archive. Check also the web interface of the erlang2trs tool. © Springer
Germán Vidal. Towards Symbolic Execution in Erlang. In PSI 2014: Ershov Informatics Conference. Springer, volume 8974, pages 351-360. 2015. Preprint / Technical report (extended version) © Springer
Germán Vidal. Concolic Execution and Test Case Generation in Prolog. 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014. Preprint.

2013

Naoki Nishida and Germán Vidal. A Finite Representation of the Narrowing Space. 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013. Preprint.
Naoki Nishida and Germán Vidal. Computing More Specific Versions of Conditional Rewriting Systems. Revised and selected papers from LOPSTR 2012. Springer, volume 7844, pp. 137-154, 2013. Preprint / Online version © Springer
Germán Vidal. Towards Erlang Verification by Term Rewriting. 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013. Preprint. Check also the web interface of the erlang2trs tool.

2012

Matthias Blume and Germán Vidal (guest editors). Functional and Logic Programming. Theoretical Computer Science, vol. 435. Special issue on FLOPS 2010. Online publication.
Naoki Nishida and Germán Vidal. More Specific Term Rewriting Systems. 21st International Workshop on Functional and (Constraint) Logic Programming, WFLP 2012. Preprint
Naoki Nishida and Germán Vidal. Computing More Specific Versions of Conditional Rewriting Systems. 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012. Preprint (check also the extended version with proofs).
Germán Vidal. Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation. 28th International Conference on Logic Programming, ICLP 2012. Preprint (check also PPEval)
Germán Vidal. Closed symbolic execution for verifying program termination. 12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012. Preprint (extended version including proofs). Check also the associated tool SETT.
Germán Vidal (editor). Logic-Based Program Synthesis and Transformation. Revised and selected papers from LOPSTR 2011. Springer, volume 7225, 2012. Online version © Springer

2011

Julia Lawall, Germán Puebla, and Germán Vidal (guest editors). Partial Evaluation and Program Manipulation. Higher-Order and Symbolic Computation, vol. 24(1-2), June 2011. Special issue on PEPM 2009. Online publication.
Naoki Nishida and Germán Vidal. Program Inversion for Tail Recursive Functions. 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. LIPIcs proceedings, vol 10, 2011. Preprint / Online paper.
Germán Vidal (editor). Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, July 18-20, 2011, Odense, Denmark. Informal proceedings.

2010

Matthias Blume, Naoki Kobayashi, Germán Vidal. Functional and Logic Programming. Proceedings of the 10th International Symposium (FLOPS 2010), Sendai, Japan, April 19-21, 2010. Springer, 2010. Online proceedings © Springer
Naoki Nishida and Germán Vidal. Termination of Narrowing via Termination of Rewriting. Applicable Algebra in Engineering, Communications and Computing 21(3):177-225, 2010. Preprint / Online paper. Check also the associated TNT termination tool. © Springer
Germán Vidal. A hybrid approach to conjunctive partial evaluation of logic programs. LOPSTR 2010, Springer LNCS 6564, pp. 200-214, 2011. Web interface / Slides / Preprint. © Springer

2009

José Iborra, Naoki Nishida and Germán Vidal. Goal-directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR 2009, Springer LNCS 6037, pp. 52-66, 2010. Preprint / Online paper. © Springer
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 proceedings © ACM Press
Michael Leuschel, Salvador Tamarit, and Germán Vidal. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. WFLP 2009, Springer LNCS 5979, 111-127, 2010. Preprint © Springer
Germán Vidal. Towards Scalable Partial Evaluation of Declarative Programs (invited talk). LOPSTR 2009, Springer LNCS, 6037, pp. 1-4, 2010. Preprint / Slides / Online paper © Springer

2008

Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR 2008, Springer LNCS 5438, pp. 40-54, 2009. Preprint © Springer
María Alpuente, Germán Vidal. Proceedings of the 15th International Symposium on Static Analysis (SAS 2008), Valencia (Spain), July 16-18, Springer LNCS, 2008. Online proceedings © Springer
Michael Leuschel, Germán Vidal. Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008. Springer LNCS 5438, pp. 119-134, 2009. Preprint / Slides. © Springer
Michael Leuschel, Salvador Tamarit, and Germán Vidal. Improving Size-Change Analysis in Offline Partial Evaluation. WLPE 2008, pp. 44-51, 2008. Preprint
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal. Dynamic Slicing Techniques for Petri Nets. RP 2008. Electronic Notes in Theoretical Computer Science 223:153-165, 2008. Preprint / Online paper. © Elsevier
Claudio Ochoa, Josep Silva, and Germán Vidal. Dynamic Slicing of Lazy Functional Programs Based on Redex Trails. Higher-Order and Symbolic Computation (formerly Lisp and Symbolic Computation), 21(1-2): 147-192, 2008. Preprint / Online paper. © Springer
Germán Vidal. Termination of Narrowing in Left-Linear Constructor Systems. FLOPS 2008, Springer LNCS 4989, pp. 113-129, 2008. Preprint / Online paper / Slides (extended and updated version). © Springer
Germán Vidal. Trace Analysis for Predicting the Effectiveness of Partial Evaluation (short paper). ICLP 2008, pp. 790-794, Springer LNCS 5366, 2008. Preprint / Online paper / Slides / Poster. See also the extended version. © Springer
Germán Vidal. Predicting the Speedup of Partial Evaluation. Technical report, DSIC, Universitat Politècnica de València, 2008. Preprint.

2007

Bernd Brassel, Sebastian Fischer, Michael Hanus, Frank Huch, Germán Vidal. Lazy Call-By-Value Evaluation. ICFP 2007, SIGPLAN Notices 42(9): 265-276, ACM Press, 2007. Preprint. © ACM Press
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal. Preserving Sharing in the Partial Evaluation of Lazy Functional Programs . LOPSTR 2007, Springer LNCS 4915, pp. 74-89, 2008. Preprint / Online paper. © Springer
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal. Towards a Safe Partial Evaluation of Lazy Functional Logic Programs. WFLP 2007. Preprint
J.Guadalupe Ramos, Josep Silva, and Germán Vidal. Ensuring the Quasi-Termination of Needed Narrowing Computations. Information Processing Letters 101(5): 220-226, 2007. Preprint. © Elsevier
Josep Silva, Germán Vidal. Forward Slicing of Functional Logic Programs by Partial Evaluation. Theory and Practice of Logic Programming 7(1-2): 215-247, 2007. Preprint (with proofs) / Online paper. © Cambridge University Press
Germán Vidal. Quasi-terminating Logic Programs for Ensuring the Termination of Partial Evaluation. PEPM 2007, ACM Press, pp. 51-60, 2007. Preprint. © ACM Press

2006

Jesús Almendros and Germán Vidal. Automatic Partial Inversion of Inductively Sequential Functions . IFL'06, Springer LNCS 4449, pp. 253-270, 2007. Preprint / Online paper. © Springer
Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal. Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs. LOPSTR 2006, Springer LNCS 4407, pp. 60-76, 2007. Preprint / Online paper. © Springer
Diego Cheda, Josep Silva, Germán Vidal. Static Slicing of Rewrite Systems. WFLP 2006, Electronic Notes in Theoretical Computer Science 177:123-136, 2007. Preprint / Online paper. © Elsevier
Claudio Ochoa, Josep Silva, Germán Vidal. A Slicing Tool for Lazy Functional Logic Programs. JELIA'06, Springer LNCS 4160, pp. 498-560, 2006. Preprint © Springer-Verlag

2005

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal. Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation 40(1): 795-829, 2005. Preprint / Online paper. © Elsevier Science
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. Specialization of Functional Logic Programs Based on Needed Narrowing. Theory and Practice of Logic Programming 5(3):273-303, 2005. Preprint (with proofs) / Online paper. © Cambridge University Press
Michael Leuschel, Germán Vidal. Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP 2005, Springer LNCS 3444, pp. 61-76, 2005. Preprint. © Springer
Claudio Ochoa, Josep Silva, Germán Vidal. Lighweight Program Specialization via Dynamic Slicing. WCFLP 2005, pp. 1-7, ACM Press, 2005. Preprint. © ACM Press
J. Guadalupe Ramos, Josep Silva, Germán Vidal. Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. ICFP 2005, SIGPLAN Notices 40(9): 228-238, ACM Press, 2005. Preprint / Online version. © ACM Press Note: The proof of the main result of this paper can be found in a separate article
J. Guadalupe Ramos, Josep Silva, Germán Vidal. An Offline Partial Evaluator for Curry Programs. WCFLP 2005, pp. 49-53, ACM Press, 2005. Preprint. © ACM Press

2004

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. Rules + Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science, 311(1-3), pages 479-525, Jan 2004. Preprint / Online paper. © Elsevier Science
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal. Run-Time Profiling of Functional Logic Programs. LOPSTR 2004, Springer LNCS 3573, pp. 182-197, 2005. Preprint (with proofs) / Online paper. © Springer-Verlag
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal. Towards CNC Programming using Haskell. IBERAMIA 2004. Springer LNCS 3315, pp. 386-395, 2004. Preprint. © Springer-Verlag
Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal. A Semantics for Tracing Declarative Multi-Paradigm Programs. PPDP 2004, ACM Press, pp. 179-190, 2004. Preprint. © ACM Press
Claudio Ochoa, Josep Silva, Germán Vidal. Dynamic Slicing Based on Redex Trails. PEPM 2004, ACM Press, pp. 123-134, 2004. Preprint. © ACM Press
Claudio Ochoa, Josep Silva, Germán Vidal. Program Specialization Based on Dynamic Slicing. SONDA 2004, pp. 20-31, 2004. Preprint
J. Guadalupe Ramos, Josep Silva, Germán Vidal. An Embedded Language Approach to Router Specification in Curry. SOFSEM 2004, Springer LNCS 2932, pp. 277-288, 2004. Preprint. © Springer-Verlag
Germán Vidal. Cost-Augmented Partial Evaluation of Functional Logic Programs. Higher-Order and Symbolic Computation (formerly Lisp and Symbolic Computation) 17(1-2): 7-46, 2004. Preprint / Online paper © Kluwer Academic Press

2003

Elvira Albert, Josep Silva, and Germán Vidal. Time Equations for Lazy Functional (Logic) Languages. AGP 2003, pp. 13-24, 2003. Preprint
Elvira Albert, Michael Hanus, and Germán Vidal. A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs. Information Processing Letters 85(1):19-25, 2003. Preprint. © Elsevier
María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal. Uniform Lazy Narrowing. Journal of Logic and Computation, 13(2): 287-312, 2003. Preprint. © Oxford University Press
Germán Vidal (editor). Functional and (Constraint) Logic Programming. Selected papers from the 12th Int'l Workshop (WFLP 2003). Electronic Notes in Theoretical Computer Science, volume 86, issue 3, November 2003. Online proceedings.
Germán Vidal (editor). 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2003). Technical Report DSIC II/14/03, Universidad Politécnica de Valencia, Spain, June 8, 2003. Preliminary proceedings

2002

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, and Germán Vidal. Operational Semantics for Functional Logic Languages. Electronic Notes in Theoretical Computer Science (selected papers from WFLP'02), vol. 76, 2002. Preprint. © Elsevier
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, and Germán Vidal. An Operational Semantics for Declarative Multi-Paradigm Languages. Electronic Notes in Theoretical Computer Science (selected papers from WRS'02), vol. 70(6), 2002. Preprint © Elsevier
Elvira Albert, Michael Hanus, and Germán Vidal. A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002(1):1-34, March 2002. Online paper. © EAPLS
Elvira Albert, Germán Vidal. The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1):3-26, 2002. Preprint.
María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal. Lazy Narrowing and Needed Narrowing: A Comparison. WFLP'02. Preprint
Germán Vidal. Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation. LOPSTR'02, pp. 219-237, Springer LNCS 2664, 2003. Preprint. © Springer-Verlag
Germán Vidal. A Partial Evaluation Tool for Multi-Paradigm Declarative Programs. 2002 IEEE International Conference on Systems, Man and Cybernetics, pp. 194-199, IEEE Press, 2002. Preprint. © IEEE
Germán Vidal. Cost-Augmented Narrowing-Driven Specialization. PEPM'02, SIGPLAN NOTICES 37(3): 52-62, 2002. Preprint. © ACM Press

2001

Elvira Albert, Michael Hanus, Germán Vidal. A Practical Partial Evaluator for Multi-Paradigm Declarative Programs. FLOPS 2001. Preprint / Online paper. © Springer-Verlag
Elvira Albert, Germán Vidal. Symbolic Profiling for Multi-Paradigm Declarative Languages. LOPSTR 2001, Springer LNCS 2374, pp. 148-167, 2002. Preprint. © Springer-Verlag

2000

Elvira Albert, Sergio Antoy, Germán Vidal. Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR 2000. Preprint / Online paper. © Springer-Verlag
Elvira Albert, Sergio Antoy, and Germán Vidal. A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP 2000, Benicassim (Spain), Ed. 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. ASIAN 2000. Preprint. © Springer-Verlag
Elvira Albert, César Ferri, Frank Steiner, Germán Vidal. List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP 2000, Benicassim (Spain). Ed. UPV (ref. 2000.2039), pp. 184-194, 2000
Elvira Albert, Michael Hanus, Germán Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000, Reunion Island, France, 2000. Preprint. © Springer-Verlag
Elvira Albert, Michael Hanus, and Germán Vidal. Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000, Benicassim (Spain). Ed. 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. SOFSEM 2000, Milovy, Czech Republic, 2000. Preprint. © Springer-Verlag
María Alpuente, Moreno Falaschi, Ginés Moreno, and Germán Vidal. Using PE to Automate Program Composition. WFLP 2000, Benicassim (Spain). Ed. UPV (ref. 2000.2039), pp. 169-183, 2000

1999

Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal. A Partial Evaluation Framework for Curry Programs. LPAR'99, 1999. Preprint. © Springer-Verlag
Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal. Partial Evaluation of Residuating Functional Logic Programs. WFLP'99, Grenoble (France), 1999
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. A Transformation System for Lazy Functional Logic Programs. FLOPS'99, 1999. Preprint / Online paper. © Springer-Verlag
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. Specialization of Inductively Sequential Functional Logic Programs. ICFP'99. ACM Sigplan Notices 34(9):273-283, 1999. Preprint. © ACM Press
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. Specialization of Functional Logic Programs Based on Needed Narrowing. WFLP'99, Grenoble (France), 1999

1998

Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Improving Control in Functional Logic Program Specialization. SAS'98, 1998. Preprint © Springer-Verlag
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Polygenetic Partial Evaluation of Lazy Functional Logic Programs. AGP'98, 1998
Elvira Albert, María Alpuente, Moreno Falaschi, Germán Vidal. INDY User's Manual (v1.8). Technical report DSIC-II/44/98, UPV, 1998.
María Alpuente, Moreno Falaschi, Germán Vidal. Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems 20(4):768-844, 1998. Preprint.
María Alpuente, Moreno Falaschi, Germán Vidal. A Unifying View of Functional and Logic Program Specialization. ACM Computing Surveys, Vol. 30, No. 3es (Sept. 1998), Pages 9-es. Preprint

1997

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. Safe Folding/Unfolding with Conditional Narrowing. ALP'97, 1997. Preprint / Online paper. © Springer-Verlag
María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Specialization of Lazy Functional Logic Programs. PEPM'97, ACM Sigplan Notices, volume 32(12):151-162, 1997. Preprint. © ACM Press
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE'97, Grado (Italy). G.R.U. Logic Programming, pp. 347-358, 1997.
Germán Vidal. Semantics-Based Analysis and Transformation of Functional Logic Programs (thesis abstract). Bulletin of the EATCS, number 61:253-254, Feb 1997

1996

María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Call-by-Name Specialization of Functional Logic Programs. MPLP'96, Bonn (Germany). T.U. Berlin, 1996. Preprint.
María Alpuente, Moreno Falaschi, Germán Vidal. A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theoretical Computer Science, volume 165(1):97-131, Sept 1996. Preprint.
María Alpuente, Moreno Falaschi, Germán Vidal. Narrowing-driven Partial Evaluation of Functional Logic Programs. ESOP'96, Linköping (Sweden). Springer LNCS 1058, pp. 45-61, 1996. Preprint / Online paper. © Springer-Verlag
Germán 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). PDF / PS

1995

María Alpuente, Moreno Falaschi, Pascual Julián, Germán Vidal. Narrowing-driven Specialization of Functional Logic Programs. 4th Compulog Subgroup Meeting on Programming Languages, 1995. Preprint
María Alpuente, Moreno Falaschi, Germán Vidal. Partial Evaluation of Functional Logic Programs. First International Workshop of the HCM Project CONSOLE, Venezia, Italy, 1995

1994

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. A Compositional Semantics for Conditional Term Rewriting Systems. ICCL'94, Tolouse (France). IEEE Society Press, pp. 7-12, 1994. Preprint. © IEEE Computer Society Press
María Alpuente, Moreno Falaschi, María José Ramis and Germán Vidal. Unfolding of Equational Logic Programs. Third Compulog-Network Subgroup Meeting on Programming Languages, Madrid, Spain, 1994. Preprint.
María Alpuente, Moreno Falaschi, Germán Vidal. Compositional Analysis for Equational Horn Programs. ALP'94, Madrid (Spain). Springer LNCS 850, pp. 77-94, 1994. Preprint / Online paper. © Springer-Verlag

1993

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP'93, Tallin (Estonia). Springer LNCS 714, pp. 391-409, 1993. Preprint. © Springer-Verlag
María Alpuente, Moreno Falaschi, Germán Vidal. Compositional Analysis for Equational Horn Programs. PRODE'93, Blanes (Spain). CSIC, pp. 155-172, 1993.
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. Using Narrowing Approximations to Optimize Equational Logic Programs. GULP'93, Gizzeria Lido (Italy). G.R.U. Logic Programming, 1993. Preprint
María Alpuente, Moreno Falaschi, Germán Vidal. Incremental Equational Constraint Analyses. ILPS'93, Vancouver (Canada). MIT Press, Cambridge, MA, 1993. Poster. Preprint.
Germán Vidal. Optimizations of Equational Logic Programs Using Abstract Narrowing. Technical Report DSIC - II/32/93, UPV.

1992

María Alpuente, Javier Piris, María José Ramírez, Germán Vidal. Combination and Evaluation of Incremental Strategies in CLP(H/E). Technical Report DSIC - II/14/92, UPV. In Spanish

Germán Vidal