Germán Vidal's Papers (sorted by topic)

copyright
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.

You can select papers by topic:

Debugging, Profiling and Tracing
Domain-Specific Languages
Partial Evaluation
Partial Evaluation & Cost Analysis
Program Analysis
Program Transformation
Semantics
Slicing
Termination
Miscellaneous

Debugging, Profiling and Tracing

Bernd Brassel, Sebastian Fischer, Michael Hanus, Frank Huch, Germán Vidal
Lazy Call-By-Value Evaluation
12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), SIGPLAN Notices 42(9): 265-276, ACM Press, 2007.
© ACM Press
Available: Abstract / PDF preprint / BibTeX entry
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
Run-Time Profiling of Functional Logic Programs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2004). Springer LNCS 3573, pp. 182-197, 2005.
Extended and revised version of this abstract.
© Springer-Verlag
Available: Abstract / Online paper / Extended version (with proofs) / BibTeX entry
Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
A Semantics for Tracing Declarative Multi-Paradigm Programs
6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2004), Verona (Italy). ACM Press, pp. 179-190, 2004.
© ACM Press
Available: Abstract / PDF / BibTeX entry
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
Run-Time Profiling of Functional Logic Programs
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2004), pp. 178-189, 2004
Available: Abstract / PDF / Extended version (with proofs) / BibTeX entry
Elvira Albert, Germán Vidal
Symbolic Profiling for Multi-Paradigm Declarative Languages
Logic-Based Program Synthesis and Transformation (selected papers from LOPSTR 2001). Springer LNCS 2374, pp. 148-167 , 2002
© Springer-Verlag
Available: Abstract / PS / PDF / BibTeX entry
Elvira Albert, Germán Vidal
Source-Level Abstract Profiling for Multi-Paradigm Declarative Languages
Proc. of the 11th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2001), Paphos, Cyprus, 2001
Available: Abstract / DVI / PS / BibTeX entry

Domain-Specific Languages

Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
Towards CNC Programming using Haskell
IX Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004), Puebla (Mexico). Springer LNCS 3315, pp. 386-395, 2004.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
J. Guadalupe Ramos, Josep Silva, Germán Vidal
An Embedded Language Approach to Router Specification in Curry
International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2004), Czech Republic. Springer LNCS 2932, pp. 277-288, 2004.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
J. Guadalupe Ramos, Josep Silva, Germán Vidal
Towards Router Specification in Curry: The Language ROSE
Terceras Jornadas de Programación y Lenguajes (PROLE 2003), Alicante (Spain).
Available: Abstract / PDF / BibTeX entry

Partial Evaluation

Germán Vidal
A hybrid approach to conjunctive partial deduction
Proc. of the 20th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), July 2010
Available: Web interface / Abstract / PDF / BibTeX entry
Germán Vidal
Towards Scalable Partial Evaluation of Declarative Programs (invited talk)
Proc. of the 19th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), Springer LNCS, 2010.
© Springer-Verlag
Available: PDF / Online paper / BibTeX entry
Michael Leuschel, Salvador Tamarit, and Germán Vidal
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
Proc. of the 18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009). To appear in Springer LNCS, 2009.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2008). Springer LNCS 5438, pp. 40-54, 2009.
Extended and revised version of this abstract.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
Michael Leuschel, Salvador Tamarit, and Germán Vidal
Improving Size-Change Analysis in Offline Partial Evaluation
Proc. of the 18th Int'l Workshop on Logic-Based Methods in Programming Environments (WLPE 2008), pp. 44-51. 2008.
Available: Abstract / PDF / BibTeX entry
Michael Leuschel, Germán Vidal
Fast Offline Partial Evaluation of Large Logic Programs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2008). Springer LNCS 5438, pp. 119-134, 2009.
Extended and revised version of this abstract.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Proc. of the 18th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008), pp. 121-130. 2008.
Available: Abstract / PDF / BibTeX entry
Michael Leuschel, Germán Vidal
Fast Offline Partial Evaluation of Large Logic Programs
Proc. of the 18th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008), pp. 131-140. 2008.
Available: Abstract / PDF / Slides / BibTeX entry
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2007). Springer LNCS 4915, pp. 74-89, 2008.
Extended and revised version of this abstract.
© Springer-Verlag
Available: Abstract / PDF preprint / BibTeX entry
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2007) , 2007
Available: Abstract / PDF preprint / BibTeX entry
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
Towards a Safe Partial Evaluation of Lazy Functional Logic Programs
16th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), 2007.
Available: Abstract / PDF / BibTeX entry
Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2006). Springer LNCS 4407, pp. 60-76, 2007.
Extended and revised version of this abstract.
© Springer-Verlag
Available: Abstract / Online paper / PDF preprint / BibTeX entry
Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006), pp. 55-61, 2006
Available: Abstract / PDF preprint / Technical report / BibTeX entry
J. Guadalupe Ramos, Josep Silva, Germán Vidal
Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems
10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), SIGPLAN Notices 40(9):228-239, ACM Press, 2005.
Available: Abstract/ PDF preprint / Online version / BibTeX entry
Note: The proof of the main result of this paper can be found in a separate short article (Information Processing Letters)
J. Guadalupe Ramos, Josep Silva, Germán Vidal
An Offline Partial Evaluator for Curry Programs
Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 49-53, ACM Press, 2005.
© ACM Press
Available: Abstract / PDF / BibTeX entry
J. Guadalupe Ramos, Josep Silva, Germán Vidal
Offline narrowing-driven partial evaluation (abstract)
V Jornadas sobre Programación y Lenguajes (PROLE 2005), Granada (Spain), pp. 233-238, Thomson, 2005.
© Thomson Paraninfo
Available: Abstract / PDF / BibTeX entry
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.
Extended and revised version of this paper
© Cambridge University Press
Available: Abstract / Online article (with proofs) / BibTeX entry
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
© Elsevier
Available: Abstract / PDF preprint / BibTeX entry
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
© EAPLS
Available: Abstract / Online Article / BibTeX entry
Elvira Albert, Germán Vidal
The Narrowing-Driven Approach to Functional Logic Program Specialization
New Generation Computing 20(1):3-26, 2002.
Available: Abstract / PDF preprint / BibTeX entry
Germán Vidal
A Partial Evaluation Tool for Multi-Paradigm Declarative Programs
2002 IEEE International Conference on Systems, Man and Cybernetics, Hammamet (Tunisia), pp. 194-199, IEEE Press, 2002.
© IEEE
Available: Abstract / PDF / BibTeX entry
Elvira Albert, Michael Hanus, Germán Vidal
A Practical Partial Evaluator for Multi-Paradigm Declarative Programs
Proc. of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001), Tokyo (Japan).
© Springer-Verlag
Available: Abstract / Online paper / PS / BibTeX entry
Elvira Albert, Michael Hanus, Germán Vidal
Using an Abstract Representation to Specialize Functional Logic Programs
Proc. of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000), Reunion Island, France, 2000.
© Springer-Verlag
Available: Abstract / PS / BibTeX entry
Elvira Albert, Michael Hanus, and Germán Vidal
Realistic Program Specialization in a Multi-Paradigm Language
In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
UPV (ref. 2000.2039), pp. 104-119, 2000
E. Albert, M. Alpuente, M. Hanus, G. Vidal
A Partial Evaluation Framework for Curry Programs
Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1999
© Springer-Verlag
Available: Abstract / PS / DVI / BibTeX entry
E. Albert, M. Alpuente, M. Hanus, G. Vidal
Partial Evaluation of Residuating Functional Logic Programs
Proc. of the 8th International Workshop on Functional and Logic Programming (WFLP'99), Grenoble (France), 1999
M. Alpuente, M. Hanus, S. Lucas, G. Vidal
Specialization of Inductively Sequential Functional Logic Programs
Proc. of the 1999 ACM International Conference on Functional Programming (ICFP'99).
ACM Sigplan Notices 34(9):273-283, 1999
© ACM Press
Available: Abstract / PS / BibTeX entry
M. Alpuente, M. Hanus, S. Lucas, G. Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing
Proc. of the 8th International Workshop on Functional and Logic Programming (WFLP'99), Grenoble (France), 1999
E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Improving Control in Functional Logic Program Specialization
Proc. of the International Static Analysis Symposium (SAS'98), 1998.
© Springer-Verlag
Available: Abstract / PS / BibTeX entry
E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Polygenetic Partial Evaluation of Lazy Functional Logic Programs
Proc. of Appia-Gulp-ProDe (AGP'98), 1998
E. Albert, M. Alpuente, M. Falaschi, G. Vidal
INDY User's Manual (v1.8)
Technical report DSIC-II/44/98, UPV, 1998
Available: PS
M. Alpuente, M. Falaschi, G. Vidal
Partial Evaluation of Functional Logic Programs
ACM Transactions on Programming Languages and Systems 20(4):768-844, 1998
See also [AFV98tr]
Available: Abstract / PDF preprint / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
A Unifying View of Functional and Logic Program Specialization
ACM Computing Surveys Vol. 30, No. 3es (Sept. 1998), Pages 9-es
Available: Abstract / PDF preprint / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal.
Specialization of Functional Logic Programs
Technical report DSIC-II/11/98, UPV, 1998.
Available: Abstract / PS / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
Experiments with the Call-by-Value Partial Evaluator
Technical report DSIC-II/13/98, UPV, 1998
Available: Abstract / PS / BibTeX entry
M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Specialization of Lazy Functional Logic Programs
Proc. of ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97).
ACM Sigplan Notices, volume 32(12):151-162, ACM Press, 1997
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Call-by-Name Specialization of Functional Logic Programs
JICSLP'96 Multi-Paradigm Logic Programming Workshop (MPLP'96), Bonn (Germany). T.U. Berlin, 1996
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
Narrowing-driven Partial Evaluation of Functional Logic Programs
Proc. of the European Symposium on Programming (ESOP'96), Linköping (Sweden). Springer LNCS 1058, pp. 45-61, 1996
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
Call-by-Name Partial Evaluation of Functional Logic Programs
Proc. of the Joint Conference on Declarative Programmign (APPIA-GULP-PRODE'96), Donosti (Spain). Euskal Erriko Unibersitatea, pp. 17-28, 1996
Available: PDF
M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Narrowing-driven Specialization of Functional Logic Programs
Proc. of the 4th Compulog Subgroup Meeting on Programming Languages, 1995
Available: PDF
M. Alpuente, M. Falaschi, G. Vidal
Partial Evaluation of Functional Logic Programs
Proc. of the First International Workshop of the HCM Project CONSOLE, Venezia, Italy, 1995

Partial Evaluation and Cost Analysis

Germán Vidal
Trace Analysis for Predicting the Effectiveness of Partial Evaluation (short paper)
24th International Conference on Logic Programming (ICLP 2008), pp. 790-794, Springer LNCS 5366, 2008.
See also the extended version.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
Germán Vidal
Predicting the Speedup of Partial Evaluation
Technical report, DSIC, Technical University of Valencia, 2008.
Available: Abstract / PDF / BibTeX entry
Germán Vidal
Towards Predicting the Effectiveness of Partial Evaluation
Technical report, DSIC, Technical University of Valencia, 2006. Superseded by this paper
Available: Abstract / PDF
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.
Extended and revised version of this paper
© Kluwer Academic Press
Available: Abstract / Pre-press version / Accepted article (volume 17, Issue 1-2, HOSC) / BibTeX entry
Germán Vidal
Cost-Augmented Narrowing-Driven Specialization
Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02), Portland (Oregon, USA), SIGPLAN NOTICES 37(3): 52-62, 2002
© ACM Press
Available: Abstract / PDF / PS / DVI / BibTeX entry
Elvira Albert, Sergio Antoy, Germán Vidal
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
Logic-Based Program Synthesis and Transformation (selected papers from LOPSTR 2000)
© Springer-Verlag
Available: Abstract / PS / BibTeX entry
Elvira Albert, Sergio Antoy, Germán Vidal
Measuring the Effectiveness of Partial Evaluation
Proc. of the 10th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2000), London, UK, 2000
Available: Abstract / PS / BibTeX entry
Elvira Albert, Sergio Antoy, and Germán Vidal
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
UPV (ref. 2000.2039), pp. 120-127, 2000

Program Analysis

Elvira Albert, Josep Silva, and Germán Vidal
Time Equations for Lazy Functional (Logic) Languages
2003 Joint Conf. on Declarative Programming (AGP 2003), Reggio Calabria (Italy), pp. 13-24, 2003.
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
A Compositional Semantic Basis for the Analysis of Equational Horn Programs
Theoretical Computer Science, volume 165(1):97-131, Sept 1996
Available: Abstract / PDF preprint / BibTeX entry
M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
A Compositional Semantics for Conditional Term Rewriting Systems
Proc. of the 1994 International Conference on Computer Languages (ICCL'94), Tolouse (France). IEEE Society Press, pp. 7-12, 1994
© IEEE Computer Society Press
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
A Compositional Semantics for Conditional Term Rewriting Systems
Proc. of the Joint Conference on Declarative Programming (GULP-PRODE'94), Peñíscola (Spain), Ed. UPV, pp. 62-76, 1994
M. Alpuente, M. Falaschi, G. Vidal
Compositional Analysis for Equational Horn Programs
Proc. of the Fifth International Conference on Algebraic and Logic Programming (ALP'94), Madrid (Spain). Springer LNCS 850, pp. 77-94, 1994
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
Narrowing Approximations as an Optimization for Equational Logic Programs
Proc. of the Fifth International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), Tallin (Estonia). Springer LNCS 714, pp. 391-409, 1993
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
Compositional Analysis for Equational Horn Programs
Proc. of Segundo Congreso de Programación Declaratica (PRODE'93), Blanes (Spain). CSIC, pp. 155-172, 1993.
M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal
Using Narrowing Approximations to Optimize Equational Logic Programs
Proc. of the 8th Italian Conference on Logic Programming (GULP'93), Gizzeria Lido (Italy). G.R.U. Logic Programming, 1993
Available: Abstract / PDF / BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
Incremental Equational Constraint Analyses
Proc. of the 10th International Logic Programming Symposium (ILPS'93), Vancouver (Canada). MIT Press, Cambridge, MA, 1993. Poster
Available: PDF / BibTeX entry
G. Vidal
Optimizations of Equational Logic Programs Using Abstract Narrowing
Technical Report DSIC - II/32/93, UPV
Available: Abstract / PDF / BibTeX entry

Program Transformation

Jesús Almendros and Germán Vidal
Automatic Partial Inversion of Inductively Sequential Functions
Implementation and Application of Functional Languages (revised selected papers from IFL'06), Springer LNCS 4449, pp. 253-270, 2007.
© Springer-Verlag
Available: Abstract / Online paper / PDF preprint / BibTeX entry
Jesús Almendros and Germán Vidal
Automatic Partial Inversion of Inductively Sequential Functions
18th International Symposium on Implementation and Application of Functional Languages (IFL 2006), Budapest (Hungary), pp. 473-483, 2006
Available: Abstract / PS / PDF / Extended version / BibTeX entry
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.
Extended and revised version of this paper
© Elsevier Science
Available: Abstract / PDF preprint / Online article / BibTeX entry
Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
Improving Functional Logic Programs by Difference-Lists
Proc. of the 6th Asian Computing Science Conference (ASIAN 2000), Penang, Malaysia, 2000.
© Springer-Verlag
Available: Abstract / PS / BibTeX entry
Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
List-Processing Optimizations in a Multi-Paradigm Declarative Language
In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
UPV (ref. 2000.2039), pp. 184-194, 2000
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
An Automatic Composition Algorithm for Functional Logic Programs
Proc. of the 27th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2000), Milovy, Czech Republic, 2000.
© Springer-Verlag
Available: Abstract / PS / BibTeX entry
María Alpuente, M. Falaschi, Ginés Moreno, and Germán Vidal
Using PE to Automate Program Composition
In Proc. of the International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim (Spain).
UPV (ref. 2000.2039), pp. 169-183, 2000
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
A Transformation System for Lazy Functional Logic Programs
Proc. of the 4th International Symposium on Functional and Logic Programming (FLOPS'99), 1999
© Springer-Verlag
Available: Abstract / Online paper / PS / BibTeX entry
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
Safe Folding/Unfolding with Conditional Narrowing
Proc. of the 6th International Conference on Algebraic and Logic Programming (ALP'97), 1997.
© Springer-Verlag
Available: Abstract / Online paper / PDF preprint / BibTeX entry
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
Safe Folding/Unfolding with Conditional Narrowing
Proc. of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), Grado (Italy). G.R.U. Logic Programming, pp. 347-358, 1997.
M. Alpuente, M. Falaschi, M.J. Ramis and G. Vidal
Unfolding of Equational Logic Programs
Proc. of the Third Compulog-Network Subgroup Meeting on Programming Languages, Madrid, Spain, 1994
Available: PDF

Semantics

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.
Extended and revised version of [WFLP02] and [WRS02] papers.
© Elsevier Science
Available: Abstract / PDF preprint / Online article / BibTex entry

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. Preliminary version appeared in WFLP'02 (see also [AFJV02tr]).
© Oxford University Press
Available: Abstract / PDF preprint / BibTeX entry
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
© Elsevier
Available: Abstract / PDF / BibTeX entry
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
© Elsevier
Available: Abstract / PDF / BibTeX entry
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, and Germán Vidal
A Deterministic Operational Semantics for Functional Logic Programs
2002 Joint Conf. on Declarative Programming (AGP'02), Madrid (Spain).
Available: Abstract / PDF / BibTeX entry
María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal
Lazy Narrowing and Needed Narrowing: A Comparison
11th International Workshop on Functional and (Constraint) Logic Programming (WFLP'02), Udine (Italy).
Available: Abstract / PS / BibTeX entry
María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal
Uniform Lazy Narrowing
Technical Report, DSIC, UPV, 2002.
Available: Abstract / PDF / BibTeX entry

Slicing

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal
Dynamic Slicing Techniques for Petri Nets
Second Workshop on Reachability Problems (RP 2008). To appear in Electronic Notes in Theoretical Computer Science 223:153-165, 2008.
© Elsevier
Available: Abstract / PDF preprint / Online article / BibTeX entry
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.
Extended and revised version of this paper
© Springer-Verlag
Available: Abstract / Online article / Pre-press version / BibTeX entry
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.
Extended and revised version of this paper
© Cambridge University Press
Available: Abstract / Online article (with proofs) / BibTeX entry
Diego Cheda, Josep Silva, Germán Vidal
Static Slicing of Rewrite Systems
15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), ENTCS 177: 123-136, 2007.
© Elsevier
Available: Abstract / Online paper / PDF preprint / BibTeX entry
Claudio Ochoa, Josep Silva, Germán Vidal
A Slicing Tool for Lazy Functional Logic Programs
10th European Conference on Logics in Artificial Intelligence (JELIA'06). Springer LNCS 4160, pp. 498-501, 2006.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
Claudio Ochoa, Josep Silva, Germán Vidal
Lighweight Program Specialization via Dynamic Slicing
Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 1-7, ACM Press, 2005.
© ACM Press
Available: Abstract / PDF / BibTeX entry
Michael Leuschel, Germán Vidal
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
European Symposium on Programming (ESOP 2005), pp. 61-76. Springer LNCS 3444, 2005
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry
Claudio Ochoa, Josep Silva, Germán Vidal
Dynamic Slicing Based on Redex Trails
ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM 2004), Verona (Italy). ACM Press, pp. 123-134, 2004.
© ACM Press
Available: Abstract / PDF / BibTeX entry
Claudio Ochoa, Josep Silva, Germán Vidal
Program Specialization Based on Dynamic Slicing
Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004), Verona (Italy), pp. 20-31, 2004.
Available: Abstract / PDF / BibTeX entry
Claudio Ochoa, Josep Silva, Germán Vidal
A Lightweight Approach to Program Specialization
IV Jornadas sobre Programación y Lenguajes (PROLE 2004), Málaga (Spain), pp. 41-54, 2004.
Available: Abstract / PDF / BibTeX entry
Germán Vidal
Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation
Logic Based Program Synthesis and Tranformation (revised and selected papers from LOPSTR'02), pp. 219-237, Springer LNCS 2664, 2003.
© Springer-Verlag
Available: Abstract / DVI / PS / PDF / BibTeX entry
Germán Vidal
Forward Slicing by Partial Evaluation
Proc. of the 12th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002), Madrid, Spain.
Extended version in [LNCS]

Termination

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 .
© Springer-Verlag
Available: Abstract / Online article / PDF preprint / BibTeX entry / TNT termination tool
José Iborra, Naoki Nishida and Germán Vidal
Goal-directed and Relative Dependency Pairs for Proving the Termination of Narrowing
Proc. of the 19th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), Springer LNCS, 2010.
© Springer-Verlag
Available: Abstract / PDF / Online paper / BibTeX entry / Experimental evaluation

Germán Vidal
Termination of Narrowing in Left-Linear Constructor Systems
9th International Symposium on Functional and Logic Programming (FLOPS 2008). Springer LNCS 4989, pp. 113-129, 2008.
See also the extended version with proofs.
© Springer-Verlag
Available: Abstract / PDF / Slides (extended version) / BibTeX entry

Germán Vidal
Termination of Narrowing in Left-Linear Constructor Systems
Technical report DSIC (UPV), 2007. Superseded by this paper
Available: Abstract / PDF / BibTeX entry

Germán Vidal
Quasi-terminating Logic Programs for Ensuring the Termination of Partial Evaluation
ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 2007), Nice (France). ACM Press, pp. 51-60, 2007.
See also the associated technical report.
© ACM Press
Available: Abstract / PDF / BibTeX entry

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
© Elsevier
Available: Abstract / PDF preprint / BibTeX entry

Germán Vidal
Quasi-terminating logic programs for ensuring the termination of partial evaluation
Technical report, DSIC, Technical University of Valencia, 2006.
Available: Abstract / PDF /PS

Miscellaneous

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.
Available: 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
Available: WFLP 2003 Proceedings
G. Vidal
Semantics-Based Analysis and Transformation of Functional Logic Programs
(thesis abstract)
Bulletin of the EATCS, number 61:253-254, Feb 1997

G. 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)
Available: Abstract / PS / BibTeX entry
M. Alpuente, J. Piris, M.J. Ramírez, G. Vidal
Combination and Evaluation of Incremental Strategies in CLP(H/E)
Technical Report DSIC - II/14/92, UPV. In Spanish

Last update / Germán Vidal