2009 |
74 | | Germán Puebla,
Germán Vidal:
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009
ACM 2009 |
73 | EE | Michael Leuschel,
Salvador Tamarit,
Germán Vidal:
Improving Size-Change Analysis in Offline Partial Evaluation
CoRR abs/0903.2202: (2009) |
2008 |
72 | | María Alpuente,
Germán Vidal:
Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Springer 2008 |
71 | EE | Germán Vidal:
Termination of Narrowing in Left-Linear Constructor Systems.
FLOPS 2008: 113-129 |
70 | EE | Germán Vidal:
Trace Analysis for Predicting the Effectiveness of Partial Evaluation.
ICLP 2008: 790-794 |
69 | EE | Michael Leuschel,
Germán Vidal:
Fast Offline Partial Evaluation of Large Logic Programs.
LOPSTR 2008: 119-134 |
68 | EE | Gustavo Arroyo,
J. Guadalupe Ramos,
Salvador Tamarit,
Germán Vidal:
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.
LOPSTR 2008: 40-54 |
67 | EE | Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit,
Germán Vidal:
Dynamic Slicing Techniques for Petri Nets.
Electr. Notes Theor. Comput. Sci. 223: 153-165 (2008) |
66 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
Dynamic slicing of lazy functional programs based on redex trails.
Higher-Order and Symbolic Computation 21(1-2): 147-192 (2008) |
2007 |
65 | EE | Bernd Braßel,
Michael Hanus,
Sebastian Fischer,
Frank Huch,
Germán Vidal:
Lazy call-by-value evaluation.
ICFP 2007: 265-276 |
64 | EE | Sebastian Fischer,
Josep Silva,
Salvador Tamarit,
Germán Vidal:
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.
LOPSTR 2007: 74-89 |
63 | EE | Germán Vidal:
Quasi-terminating logic programs for ensuring the termination of partial evaluation.
PEPM 2007: 51-60 |
62 | EE | Diego Cheda,
Josep Silva,
Germán Vidal:
Static Slicing of Rewrite Systems.
Electr. Notes Theor. Comput. Sci. 177: 123-136 (2007) |
61 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
Ensuring the quasi-termination of needed narrowing computations.
Inf. Process. Lett. 101(5): 220-226 (2007) |
60 | EE | Josep Silva,
Germán Vidal:
Forward slicing of functional logic programs by partial evaluation.
TPLP 7(1-2): 215-247 (2007) |
2006 |
59 | EE | Jesús Manuel Almendros-Jiménez,
Germán Vidal:
Automatic Partial Inversion of Inductively Sequential Functions.
IFL 2006: 253-270 |
58 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
A Slicing Tool for Lazy Functional Logic Programs.
JELIA 2006: 498-501 |
57 | EE | Gustavo Arroyo,
J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.
LOPSTR 2006: 60-76 |
56 | EE | Josep Silva,
Germán Vidal:
Forward slicing of functional logic programs by partial evaluation
CoRR abs/cs/0601013: (2006) |
2005 |
55 | EE | Michael Leuschel,
Germán Vidal:
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.
ESOP 2005: 61-76 |
54 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
Fast narrowing-driven partial evaluation for inductively sequential programs.
ICFP 2005: 228-239 |
53 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
Lightweight program specialization via dynamic slicing.
WCFLP 2005: 1-7 |
52 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
An offline partial evaluator for curry programs.
WCFLP 2005: 49-53 |
51 | EE | Elvira Albert,
Michael Hanus,
Frank Huch,
Javier Oliver,
Germán Vidal:
Operational semantics for declarative multi-paradigm languages.
J. Symb. Comput. 40(1): 795-829 (2005) |
50 | EE | María Alpuente,
Salvador Lucas,
Michael Hanus,
Germán Vidal:
Specialization of functional logic programs based on needed narrowing.
TPLP 5(3): 273-303 (2005) |
2004 |
49 | EE | Gustavo Arroyo,
Claudio Ochoa,
Josep Silva,
Germán Vidal:
Towards CNC Programming Using Haskell.
IBERAMIA 2004: 386-396 |
48 | EE | Bernd Brassel,
Michael Hanus,
Frank Huch,
Josep Silva,
Germán Vidal:
Run-Time Profiling of Functional Logic Programs.
LOPSTR 2004: 182-197 |
47 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
Dynamic slicing based on redex trails.
PEPM 2004: 123-134 |
46 | EE | Bernd Brassel,
Michael Hanus,
Frank Huch,
Germán Vidal:
A semantics for tracing declarative multi-paradigm programs.
PPDP 2004: 179-190 |
45 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
An Embedded Language Approach to Router Specification in Curry.
SOFSEM 2004: 277-288 |
44 | EE | María Alpuente,
Michael Hanus,
Salvador Lucas,
Germán Vidal:
Specialization of Functional Logic Programs Based on Needed Narrowing
CoRR cs.PL/0403011: (2004) |
43 | EE | Germán Vidal:
Cost-Augmented Partial Evaluation of Functional Logic Programs.
Higher-Order and Symbolic Computation 17(1-2): 7-46 (2004) |
42 | EE | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Rules + strategies for transforming lazy functional logic programs.
Theor. Comput. Sci. 311(1-3): 479-525 (2004) |
2003 |
41 | | Elvira Albert,
Josep Silva,
Germán Vidal:
Time Equations for Lazy Functional (Logic) Languages.
APPIA-GULP-PRODE 2003: 13-24 |
40 | EE | Germán Vidal:
Preface.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
39 | EE | Elvira Albert,
Michael Hanus,
Germán Vidal:
A residualizing semantics for the partial evaluation of functional logic programs.
Inf. Process. Lett. 85(1): 19-25 (2003) |
38 | EE | María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Uniform Lazy Narrowing.
J. Log. Comput. 13(2): 287-312 (2003) |
2002 |
37 | EE | Germán Vidal:
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.
LOPSTR 2002: 219-237 |
36 | EE | Germán Vidal:
Cost-augmented narrowing-driven specialization.
PEPM 2002: 52-62 |
35 | EE | Elvira Albert,
Michael Hanus,
Frank Huch,
Javier Oliver,
Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages.
Electr. Notes Theor. Comput. Sci. 70(6): (2002) |
34 | EE | Elvira Albert,
Michael Hanus,
Frank Huch,
Javier Oliver,
Germán Vidal:
Operational Semantics for Functional Logic Languages.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
33 | EE | Elvira Albert,
Michael Hanus,
Germán Vidal:
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages.
Journal of Functional and Logic Programming 2002: (2002) |
2001 |
32 | EE | Elvira Albert,
Michael Hanus,
Germán Vidal:
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.
FLOPS 2001: 326-342 |
31 | EE | Elvira Albert,
Germán Vidal:
Symbolic Profiling for Multi-paradigm Declarative Languages.
LOPSTR 2001: 148-167 |
30 | | Elvira Albert,
Germán Vidal:
The Narrowing-driven Approach to Functional Logic Program Specialization.
New Generation Comput. 20(1): 3-26 (2001) |
2000 |
29 | EE | Elvira Albert,
César Ferri,
Frank Steiner,
Germán Vidal:
Improving Functional Logic Programs by Difference-Lists.
ASIAN 2000: 237-254 |
28 | EE | Elvira Albert,
Sergio Antoy,
Germán Vidal:
Measuring the Effectiveness of Partial Evaluation.
LOPSTR 2000 |
27 | EE | Elvira Albert,
Sergio Antoy,
Germán Vidal:
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.
LOPSTR (LNCS 2042: Selected Papers) 2000: 103-124 |
26 | EE | Elvira Albert,
Michael Hanus,
Germán Vidal:
Using an Abstract Representation to Specialize Functional Logic Programs.
LPAR 2000: 381-398 |
25 | EE | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
An Automatic Composition Algorithm for Functional Logic Programs.
SOFSEM 2000: 289-297 |
24 | | Elvira Albert,
Michael Hanus,
Germán Vidal:
Realistic Program Specialization in a Multi-Paradigm Language.
WFLP 2000: 104-119 |
23 | | Elvira Albert,
Sergio Antoy,
Germán Vidal:
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.
WFLP 2000: 120-127 |
22 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Using PE to Automate Program Composition.
WFLP 2000: 169-183 |
21 | | Elvira Albert,
César Ferri,
Frank Steiner,
Germán Vidal:
List-Processing Optimizations in a Multi-Paradigm Declarative Language.
WFLP 2000: 184-194 |
1999 |
20 | | 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: 147-162 |
19 | EE | María Alpuente,
Michael Hanus,
Salvador Lucas,
Germán Vidal:
Specialization of Inductively Sequential Functional Logic Programs.
ICFP 1999: 273-283 |
18 | | Elvira Albert,
María Alpuente,
Michael Hanus,
Germán Vidal:
A Partial Evaluation Framework for Curry Programs.
LPAR 1999: 376-395 |
17 | EE | 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 8: 27-35 (1999) |
1998 |
16 | | 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: 151-164 |
15 | EE | Elvira Albert,
María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Improving Control in Functional Logic Program Specialization.
SAS 1998: 262-277 |
14 | EE | María Alpuente,
Moreno Falaschi,
Germán Vidal:
A Unifying View of Functional and Logic Program Specialization.
ACM Comput. Surv. 30(3es): 9 (1998) |
13 | EE | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Partial Evaluation of Functional Logic Programs.
ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998) |
1997 |
12 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
ALP/HOA 1997: 1-15 |
11 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
APPIA-GULP-PRODE 1997: 347-358 |
10 | EE | María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Specialization of Lazy Functional Logic Programs.
PEPM 1997: 151-162 |
1996 |
9 | | 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: 17-28 |
8 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Narrowing-Driven Partial Evaluation of Functional Logic Programs.
ESOP 1996: 45-61 |
7 | EE | María Alpuente,
Moreno Falaschi,
Germán Vidal:
A Compositional Semantic Basis for the Analysis of Equational Horn Programs.
Theor. Comput. Sci. 165(1): 133-169 (1996) |
1994 |
6 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Compositional Analysis for Equational Horn Programs.
ALP 1994: 77-94 |
5 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems.
GULP-PRODE (1) 1994: 62-76 |
4 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems.
ICCL 1994: 171-182 |
1993 |
3 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
Using Narrowing Approximations to Optimize Equational Logic Programs.
GULP 1993: 127-142 |
2 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Incremental Equational Constraint Analyses.
ILPS 1993: 657 |
1 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
Narrowing Approximations as an Optimization for Equational Logic Programs.
PLILP 1993: 391-409 |