Germán 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. Explaining Explanations in Probabilistic Logic Programming. Technical Report, 2024. Preprint (arXiv)
• 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

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