| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Naoki Nishida, Germán Vidal |
Program Inversion for Tail Recursive Functions.  |
RTA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal, Neng-Fa Zhou |
Proceedings of CICLOPS-WLPE 2010 |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Naoki Nishida, Germán Vidal |
Termination of narrowing via termination of rewriting. |
Appl. Algebra Eng. Commun. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) |
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Salvador Tamarit, Germán Vidal |
Improving Size-Change Analysis in Offline Partial Evaluation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Germán Vidal (eds.) |
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 |
PEPM |
2009 |
DBLP BibTeX RDF |
|
| 1 | José Iborra, Naoki Nishida, Germán Vidal |
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Towards Scalable Partial Evaluation of Declarative Programs. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Salvador Tamarit, Germán Vidal |
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. |
WFLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal |
Dynamic Slicing Techniques for Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Dynamic slicing of lazy functional programs based on redex trails. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
Lazy functional programming, Redex trails, Debugging, Slicing |
| 1 | Germán Vidal |
Trace Analysis for Predicting the Effectiveness of Partial Evaluation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Termination of Narrowing in Left-Linear Constructor Systems. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Germán Vidal (eds.) |
Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings |
SAS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal |
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Germán Vidal |
Fast Offline Partial Evaluation of Large Logic Programs. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Ensuring the quasi-termination of needed narrowing computations. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Cheda, Josep Silva, Germán Vidal |
Static Slicing of Rewrite Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Germán Vidal |
Forward slicing of functional logic programs by partial evaluation. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Quasi-terminating logic programs for ensuring the termination of partial evaluation. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
quasi-termination, partial deduction |
| 1 | Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal |
Lazy call-by-value evaluation. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
debugging techniques, laziness |
| 1 | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal |
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Silva, Germán Vidal |
Forward slicing of functional logic programs by partial evaluation |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
A Slicing Tool for Lazy Functional Logic Programs. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez, Germán Vidal |
Automatic Partial Inversion of Inductively Sequential Functions. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
Operational semantics for declarative multi-paradigm languages. |
J. Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal |
Specialization of functional logic programs based on needed narrowing. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Fast narrowing-driven partial evaluation for inductively sequential programs. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, quasi-termination, narrowing |
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
An offline partial evaluator for curry programs. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, narrowing |
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Lightweight program specialization via dynamic slicing. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
lazy functional logic programming, program specialization, dynamic slicing |
| 1 | Michael Leuschel, Germán Vidal |
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Rules + strategies for transforming lazy functional logic programs. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal |
Specialization of Functional Logic Programs Based on Needed Narrowing |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Germán Vidal |
Cost-Augmented Partial Evaluation of Functional Logic Programs. |
Higher-Order and Symbolic Computation |
2004 |
DBLP DOI BibTeX RDF |
partial evaluation, functional logic programming, computational costs |
| 1 | Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal |
Towards CNC Programming Using Haskell. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Dynamic slicing based on redex trails. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
lazy functional logic programming, redex trails, slicing |
| 1 | Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal |
A semantics for tracing declarative multi-paradigm programs. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
semantics, tracing, functional logic programming |
| 1 | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal |
Run-Time Profiling of Functional Logic Programs. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
An Embedded Language Approach to Router Specification in Curry. |
SOFSEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A residualizing semantics for the partial evaluation of functional logic programs. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Uniform Lazy Narrowing. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Josep Silva, Germán Vidal |
Time Equations for Lazy Functional (Logic) Languages. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. |
Journal of Functional and Logic Programming |
2002 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
An Operational Semantics for Declarative Multi-Paradigm Languages. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
Operational Semantics for Functional Logic Languages. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Cost-augmented narrowing-driven specialization. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Vidal |
The Narrowing-driven Approach to Functional Logic Program Specialization. |
New Generation Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Vidal |
Symbolic Profiling for Multi-paradigm Declarative Languages. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
Using an Abstract Representation to Specialize Functional Logic Programs. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, César Ferri, Frank Steiner, Germán Vidal |
Improving Functional Logic Programs by Difference-Lists. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
program transformation, compiler optimization, functional logic programming |
| 1 | Elvira Albert, Sergio Antoy, Germán Vidal |
Measuring the Effectiveness of Partial Evaluation. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Sergio Antoy, Germán Vidal |
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
An Automatic Composition Algorithm for Functional Logic Programs. |
SOFSEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Using PE to Automate Program Composition. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, César Ferri, Frank Steiner, Germán Vidal |
List-Processing Optimizations in a Multi-Paradigm Declarative Language. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Sergio Antoy, Germán Vidal |
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
Realistic Program Specialization in a Multi-Paradigm Language. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal |
Un Sistema de Transformación para Programas Multiparadigma. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal |
A Partial Evaluation Framework for Curry Programs. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal |
Specialization of Inductively Sequential Functional Logic Programs. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
A Transformation System for Lazy Functional Logic Programs. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Germán Vidal |
Partial Evaluation of Functional Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation |
| 1 | María Alpuente, Moreno Falaschi, Germán Vidal |
A Unifying View of Functional and Logic Program Specialization. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Polygenetic Partial Evaluation of Lazy Functional Logic Programs. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Improving Control in Functional Logic Program Specialization. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Safe Folding/Unfolding with Conditional Narrowing. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Safe Folding/Unfolding with Conditional Narrowing. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Specialization of Lazy Functional Logic Programs. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems |
| 1 | María Alpuente, Moreno Falaschi, Germán Vidal |
A Compositional Semantic Basis for the Analysis of Equational Horn Programs. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Call-By Name Partial Evaluation of Functional Logic Programs. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Germán Vidal |
Narrowing-Driven Partial Evaluation of Functional Logic Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Germán Vidal |
Compositional Analysis for Equational Horn Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
equational logic programming, compositionality, Semantic analysis, term rewriting systems |
| 1 | María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal |
A Compositional Semantics for Conditional Term Rewriting Systems. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal |
A Compositional Semantics for Conditional Term Rewriting Systems. |
ICCL |
1994 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal |
Using Narrowing Approximations to Optimize Equational Logic Programs. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Germán Vidal |
Incremental Equational Constraint Analyses. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal |
Narrowing Approximations as an Optimization for Equational Logic Programs. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")