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 |