dblp.uni-trier.dewww.uni-trier.de

Germán Vidal Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
73EEMichael 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
71EEGermán Vidal: Termination of Narrowing in Left-Linear Constructor Systems. FLOPS 2008: 113-129
70EEGermán Vidal: Trace Analysis for Predicting the Effectiveness of Partial Evaluation. ICLP 2008: 790-794
69EEMichael Leuschel, Germán Vidal: Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008: 119-134
68EEGustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal: A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR 2008: 40-54
67EEMarisa 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)
66EEClaudio 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
65EEBernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
64EESebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal: Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR 2007: 74-89
63EEGermán Vidal: Quasi-terminating logic programs for ensuring the termination of partial evaluation. PEPM 2007: 51-60
62EEDiego Cheda, Josep Silva, Germán Vidal: Static Slicing of Rewrite Systems. Electr. Notes Theor. Comput. Sci. 177: 123-136 (2007)
61EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. 101(5): 220-226 (2007)
60EEJosep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation. TPLP 7(1-2): 215-247 (2007)
2006
59EEJesús Manuel Almendros-Jiménez, Germán Vidal: Automatic Partial Inversion of Inductively Sequential Functions. IFL 2006: 253-270
58EEClaudio Ochoa, Josep Silva, Germán Vidal: A Slicing Tool for Lazy Functional Logic Programs. JELIA 2006: 498-501
57EEGustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal: Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR 2006: 60-76
56EEJosep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation CoRR abs/cs/0601013: (2006)
2005
55EEMichael Leuschel, Germán Vidal: Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP 2005: 61-76
54EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: Fast narrowing-driven partial evaluation for inductively sequential programs. ICFP 2005: 228-239
53EEClaudio Ochoa, Josep Silva, Germán Vidal: Lightweight program specialization via dynamic slicing. WCFLP 2005: 1-7
52EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: An offline partial evaluator for curry programs. WCFLP 2005: 49-53
51EEElvira 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)
50EEMarí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
49EEGustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal: Towards CNC Programming Using Haskell. IBERAMIA 2004: 386-396
48EEBernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
47EEClaudio Ochoa, Josep Silva, Germán Vidal: Dynamic slicing based on redex trails. PEPM 2004: 123-134
46EEBernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
45EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: An Embedded Language Approach to Router Specification in Curry. SOFSEM 2004: 277-288
44EEMaría Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Functional Logic Programs Based on Needed Narrowing CoRR cs.PL/0403011: (2004)
43EEGermán Vidal: Cost-Augmented Partial Evaluation of Functional Logic Programs. Higher-Order and Symbolic Computation 17(1-2): 7-46 (2004)
42EEMarí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
40EEGermán Vidal: Preface. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
39EEElvira 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)
38EEMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003)
2002
37EEGermán Vidal: Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. LOPSTR 2002: 219-237
36EEGermán Vidal: Cost-augmented narrowing-driven specialization. PEPM 2002: 52-62
35EEElvira 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)
34EEElvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational Semantics for Functional Logic Languages. Electr. Notes Theor. Comput. Sci. 76: (2002)
33EEElvira 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
32EEElvira Albert, Michael Hanus, Germán Vidal: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342
31EEElvira 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
29EEElvira Albert, César Ferri, Frank Steiner, Germán Vidal: Improving Functional Logic Programs by Difference-Lists. ASIAN 2000: 237-254
28EEElvira Albert, Sergio Antoy, Germán Vidal: Measuring the Effectiveness of Partial Evaluation. LOPSTR 2000
27EEElvira Albert, Sergio Antoy, Germán Vidal: Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) 2000: 103-124
26EEElvira Albert, Michael Hanus, Germán Vidal: Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000: 381-398
25EEMarí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
19EEMaría Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283
18EEElvira Albert, María Alpuente, Michael Hanus, Germán Vidal: A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395
17EEMarí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
15EEElvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277
14EEMaría Alpuente, Moreno Falaschi, Germán Vidal: A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30(3es): 9 (1998)
13EEMaría Alpuente, Moreno Falaschi, Germán Vidal: Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998)
1997
12EEMarí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
10EEMarí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
8EEMaría Alpuente, Moreno Falaschi, Germán Vidal: Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP 1996: 45-61
7EEMarí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
6EEMarí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

Coauthor Index

1Elvira Albert [15] [16] [18] [21] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [39] [41] [51]
2Jesús Manuel Almendros-Jiménez [59]
3María Alpuente [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [25] [38] [42] [44] [50] [72]
4Sergio Antoy [23] [27] [28]
5Gustavo Arroyo [49] [57] [68]
6Bernd Brassel (Bernd Braßel) [46] [48] [65]
7Diego Cheda [62]
8Moreno Falaschi [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [20] [22] [25] [38] [42]
9César Ferri (Cèsar Ferri Ramirez) [17] [21] [29]
10Sebastian Fischer [64] [65]
11Michael Hanus [18] [19] [24] [26] [32] [33] [34] [35] [39] [44] [46] [48] [50] [51] [65]
12Frank Huch [34] [35] [46] [48] [51] [65]
13Pascual Julián Iranzo [9] [10] [15] [16] [38]
14Michael Leuschel [55] [69] [73]
15Marisa Llorens [67]
16Salvador Lucas [19] [44] [50]
17Ginés Moreno [11] [12] [17] [20] [22] [25] [42]
18Claudio Ochoa [47] [49] [53] [58] [66]
19Javier Oliver [34] [35] [51] [67]
20Germán Puebla (German Puebla) [74]
21María José Ramis [1] [3] [4] [5]
22J. Guadalupe Ramos [45] [52] [54] [57] [61] [68]
23Josep Silva [41] [45] [47] [48] [49] [52] [53] [54] [56] [57] [58] [60] [61] [62] [64] [66] [67]
24Frank Steiner [21] [29]
25Salvador Tamarit [64] [67] [68] [73]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)