german vidal

home
activities
publications
software
PhD students
teaching
misc

contact information

research interests

programming languages
- multi-paradigm languages; declarative programming; functional, logic, and functional logic programming; program semantics; narrowing strategies; laziness; compositionality; Prolog, Haskell, Curry; domain-specific (embedded) languages
program analysis and transformation
- partial evaluation, fold/unfold; refactoring; specialization; profiling; cost analysis and estimation; termination analysis; debugging; tracing; slicing; symbolic execution, program inversion; automatic parallelization

program committees

ICLP 2013, 24-29 August, 2013 (Istanbul, Turkey). Deadline: April 3 (abstracts) / April 10 (papers)
WFLP 2013, 11-13 September, 2013 (Kiel, Germany). Deadline: June 16
LOPSTR 2012, 18-20 September, 2012 (Leuven, Belgium).
ICLP 2012, September 4-8, 2012 (Budapest, Hungary).
ICLP 2011, Lexington, Kentucky (USA), July 6-10, 2011
TFP 2011, Madrid (Spain), 16-18 May, 2011
PEPM'11, Austin, Texas (USA), Jan 24-25, 2011
PPDP 2009, Coimbra (Portugal), September 7-9, 2009
WLPE 2009, Pasadena, California (USA)
PROLE'09, San Sebastián (Spain), September 9-11, 2009
WLPE 2008, Udine (Italy), December 2008
PROLE'08, Gijón (Spain), October 7-10, 2008
Past research activities...

PC chair

LOPSTR 2011, 18-20 July, 2011 (Odense, Denmark).
FLOPS 2010, Sendai, Japan, April 19-21, 2010 (PC co-chair with Matthias Blume)
CICLOPS-WLPE 2010, Edinburgh, Scotland, U.K., July 15, 2010 (PC co-chair with Neng-Fa Zhou)
PEPM 2009, January 19-20, Savannah (Georgia, USA), 2009 (PC co-chair with Germán Puebla)
SAS'08, Valencia (Spain), July 16-18, 2008 (PC co-chair, with María Alpuente)
WFLP'03', Valencia (Spain), June 12-13, 2003.

invited talks

LOPSTR 2009, Coimbra (Portugal), September 9-10, 2009. Slides

steering committees

LOPSTR (Logic-based Program Synthesis and Transformation), since 2010
FLOPS (International Symposium on Functional and Logic Programming), since 2008
ACM SIGPLAN PEPM (Partial Evaluation and Semantics-Based Program Manipulation), 2005 - 2011

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

2013

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. © Springer

2012

Matthias Blume and Germán Vidal (guest editors). Functional and Logic Programming. Theoretical Computer Science, vol. 435. Special issue on FLOPS 2010. Available online
Naoki Nishida and Germán Vidal. More Specific Term Rewriting Systems. Proc. of the 21st International Workshop on Functional and (Constraint) Logic Programming (WFLP 2012). PDF
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. PDF (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. PDF (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. PDF (extended version including proofs; check also 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. Available online
Naoki Nishida and Germán Vidal. Program Inversion for Tail Recursive Functions. RTA 2011, LIPIcs proceedings, vol 10, 2011. PDF. 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. PDF

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 version © 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. PDF preprint. Online article. 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. PDF © 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. PDF. Online paper. Experimental evaluation © 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 version © 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. PDF © Springer
Germán Vidal. Towards Scalable Partial Evaluation of Declarative Programs (invited talk). LOPSTR 2009, Springer LNCS, 6037, pp. 1-4, 2010. PDF. 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. PDF © 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 version © Springer
Michael Leuschel, Germán Vidal. Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008. Springer LNCS 5438, pp. 119-134, 2009. PDF. Slides © Springer
Michael Leuschel, Salvador Tamarit, and Germán Vidal. Improving Size-Change Analysis in Offline Partial Evaluation. WLPE 2008, pp. 44-51, 2008. PDF
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. PDF preprint. Online article © 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. Pre-press version. Online article © Springer
Germán Vidal. Termination of Narrowing in Left-Linear Constructor Systems. FLOPS 2008, PDF. Springer LNCS 4989, pp. 113-129, 2008. 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. See also the extended version. PDF. Online paper. Slides. Poster © Springer
Germán Vidal. Predicting the Speedup of Partial Evaluation. Technical report, DSIC, Universitat Politècnica de València, 2008. PDF

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. PDF © 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. PDF 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, 2007. PDF
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. PDF 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. Online article (with proofs) © 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. PDF © 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. PDF. 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. PDF. 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. PDF 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. PDF © 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. PDF preprint. Online article © 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. Online article (with proofs) © 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. PDF © Springer
Claudio Ochoa, Josep Silva, Germán Vidal. Lighweight Program Specialization via Dynamic Slicing. WCFLP 2005, pp. 1-7, ACM Press, 2005. PDF © 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. PDF 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. PDF © 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. PDF preprint. Online article © 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. Online paper. Extended version (with proofs) © 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. PDF © 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. PDF © ACM Press
Claudio Ochoa, Josep Silva, Germán Vidal. Dynamic Slicing Based on Redex Trails. PEPM 2004, ACM Press, pp. 123-134, 2004. PDF © ACM Press
Claudio Ochoa, Josep Silva, Germán Vidal. Program Specialization Based on Dynamic Slicing. SONDA 2004, pp. 20-31, 2004. PDF
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. PDF © 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. Pre-press version. Online article © 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. PDF
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. PDF 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. PDF 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. Volume 86(3) of ENTCS
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. WFLP 2003 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. PDF © 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. PDF © 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 Article © EAPLS
Elvira Albert, Germán Vidal. The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1):3-26, 2002. PDF preprint
María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal. Lazy Narrowing and Needed Narrowing: A Comparison. WFLP'02. PS
Germán Vidal. Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation. LOPSTR'02, pp. 219-237, Springer LNCS 2664, 2003. PDF © 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. PDF © IEEE
Germán Vidal. Cost-Augmented Narrowing-Driven Specialization. PEPM'02, SIGPLAN NOTICES 37(3): 52-62, 2002. PDF © ACM Press

2001

Elvira Albert, Michael Hanus, Germán Vidal. A Practical Partial Evaluator for Multi-Paradigm Declarative Programs. FLOPS 2001. PS. 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. PDF © Springer-Verlag

2000

Elvira Albert, Sergio Antoy, Germán Vidal. Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR 2000. PS. 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. PS © 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. PS © 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. PS © 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. PS © 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. PS. 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. PS © 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. PS © 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. PS
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. PDF 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. PDF preprint

1997

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. Safe Folding/Unfolding with Conditional Narrowing. ALP'97, 1997. PDF 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, ACM Press, 1997. PDF
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. PDF
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. PDF 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. PDF 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). 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. PDF
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. PDF © 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. PDF
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. PDF. 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. PDF © 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. PDF
María Alpuente, Moreno Falaschi, Germán Vidal. Incremental Equational Constraint Analyses. ILPS'93, Vancouver (Canada). MIT Press, Cambridge, MA, 1993. Poster.PDF
Germán Vidal. Optimizations of Equational Logic Programs Using Abstract Narrowing. Technical Report DSIC - II/32/93, UPV. PDF

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

software tools available

SETT, a symbolic execution-based termination tool for simple imperative programs
PPEval, a paralellizing lightweight partial evaluator that is able to extract parallelism from sequential logic programs
CPD lite, a lightweight approach to conjunctive partial evaluation of logic programs, combining online and offline styles
TNT, a termination prover for narrowing
improved web interface for proff (v1.2, Sep 2007), a Prolog offline partial evaluator
PEPE, a tool for predicting the effects of partial evaluation

You can also find some old prototypes in this page.

current PhD students

Salvador Tamarit. Analysis of concurrent programming languages (ongoing)

former PhD students

Gustavo Arroyo. Evaluación parcial dirigida por narrowing. Técnicas de optimización y aplicaciones. Universitat Politècnica de València, 2012.
Josep Silva. Debugging Techniques for Declarative Languages: Profiling, Program Slicing, and Algorithmic Debugging. Universitat Politècnica de València, 2007.
J. Guadalupe Ramos. Una aproximación offline a la evaluación parcial dirigida por narrowing. Universitat Poliècnica de València, 2007.
Elvira Albert. Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency. Universitat Politècnica de València, 2001.
Ginés Moreno. Reglas y Estrategias de Transformación para Programas Lógico-Funcionales. Universitat Politècnica de València, 2000.

Germán Vidal