Germán Vidal - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Program Inversion for Tail Recursive FunctionsNaoki Nishida, Germán Vidal. RTA 2011: 283-298 [doi]

2010

Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. ProceedingsMatthias Blume, Naoki Kobayashi, Germán Vidal, editors, Volume 6009 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Termination of narrowing via termination of rewritingNaoki Nishida, Germán Vidal. aaecc, 21(3):177-225, 2010. [doi]

A Hybrid Approach to Conjunctive Partial Evaluation of Logic ProgramsGermán Vidal. LOPSTR 2011: 200-214 [doi]

2009

Goal-Directed and Relative Dependency Pairs for Proving the Termination of NarrowingJosé Iborra, Naoki Nishida, Germán Vidal. LOPSTR 2010: 52-66 [doi]

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationMichael Leuschel, Salvador Tamarit, Germán Vidal. wflp 2010: 111-127 [doi]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009Germán Puebla, Germán Vidal, editors, ACM, 2009.

Towards Scalable Partial Evaluation of Declarative ProgramsGermán Vidal. LOPSTR 2010: 1-4 [doi]

2008

Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. ProceedingsMaría Alpuente, Germán Vidal, editors, Volume 5079 of Lecture Notes in Computer Science, Springer, 2008.

A Transformational Approach to Polyvariant BTA of Higher-Order Functional ProgramsGustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal. LOPSTR 2009: 40-54 [doi]

Fast Offline Partial Evaluation of Large Logic ProgramsMichael Leuschel, Germán Vidal. LOPSTR 2009: 119-134 [doi]

Dynamic Slicing Techniques for Petri NetsMarisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal. ENTCS, 223:153-165, 2008. [doi]

Dynamic slicing of lazy functional programs based on redex trailsClaudio Ochoa, Josep Silva, Germán Vidal. lisp, 21(1-2):147-192, 2008. [doi]

Termination of Narrowing in Left-Linear Constructor SystemsGermán Vidal. FLOPS 2008: 113-129 [doi]

Trace Analysis for Predicting the Effectiveness of Partial EvaluationGermán Vidal. ICLP 2008: 790-794 [doi]

2007

2006

Automatic Partial Inversion of Inductively Sequential FunctionsJesús Manuel Almendros-Jiménez, Germán Vidal. IFL 2007: 253-270 [doi]

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change GraphsGustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal. LOPSTR 2007: 60-76 [doi]

A Slicing Tool for Lazy Functional Logic ProgramsClaudio Ochoa, Josep Silva, Germán Vidal. jelia 2006: 498-501 [doi]

2005

Operational semantics for declarative multi-paradigm languagesElvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal. JSC, 40(1):795-829, 2005. [doi]

Specialization of functional logic programs based on needed narrowingMaría Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal. tplp, 5(3):273-303, 2005. [doi]

Forward Slicing by Conjunctive Partial Deduction and Argument FilteringMichael Leuschel, Germán Vidal. ESOP 2005: 61-76 [doi]

Lightweight program specialization via dynamic slicingClaudio Ochoa, Josep Silva, Germán Vidal. wcflp 2005: 1-7 [doi]

Fast narrowing-driven partial evaluation for inductively sequential programsJ. Guadalupe Ramos, Josep Silva, Germán Vidal. ICFP 2005: 228-239 [doi]

An offline partial evaluator for curry programsJ. Guadalupe Ramos, Josep Silva, Germán Vidal. wcflp 2005: 49-53 [doi]

2004

Rules + strategies for transforming lazy functional logic programsMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. TCS, 311(1-3):479-525, 2004. [doi]

Towards CNC Programming Using HaskellGustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal. sbia 2004: 386-396 [doi]

Run-Time Profiling of Functional Logic ProgramsBernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal. LOPSTR 2005: 182-197 [doi]

A semantics for tracing declarative multi-paradigm programsBernd Brassel, Michael Hanus, Frank Huch, Germán Vidal. ppdp 2004: 179-190 [doi]

Dynamic slicing based on redex trailsClaudio Ochoa, Josep Silva, Germán Vidal. PEPM 2004: 123-134 [doi]

An Embedded Language Approach to Router Specification in CurryJ. Guadalupe Ramos, Josep Silva, Germán Vidal. sofsem 2004: 277-288 [doi]

Cost-Augmented Partial Evaluation of Functional Logic ProgramsGermán Vidal. lisp, 17(1-2):7-46, 2004. [doi]

2003

Time Equations for Lazy Functional (Logic) LanguagesElvira Albert, Josep Silva, Germán Vidal. agp 2003: 13-24

A residualizing semantics for the partial evaluation of functional logic programsElvira Albert, Michael Hanus, Germán Vidal. ipl, 85(1):19-25, 2003. [doi]

Uniform Lazy NarrowingMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. logcom, 13(2):287-312, 2003. [doi]

PrefaceGermán Vidal. ENTCS, 86(3), 2003. [doi]

2002

2001

Symbolic Profiling for Multi-paradigm Declarative LanguagesElvira Albert, Germán Vidal. LOPSTR 2001: 148-167 [doi]

A Practical Partial Evaluator for a Multi-Paradigm Declarative LanguageElvira Albert, Michael Hanus, Germán Vidal. FLOPS 2001: 326-342 [doi]

The Narrowing-driven Approach to Functional Logic Program SpecializationElvira Albert, Germán Vidal. ngc, 20(1):3-26, 2001.

2000

Measuring the Effectiveness of Partial EvaluationElvira Albert, Sergio Antoy, Germán Vidal. LOPSTR 2001: [doi]

Measuring the Effectiveness of Partial Evaluation in Functional Logic LanguagesElvira Albert, Sergio Antoy, Germán Vidal. LOPSTR 2001: 103-124 [doi]

List-Processing Optimizations in a Multi-Paradigm Declarative LanguageElvira Albert, César Ferri, Frank Steiner, Germán Vidal. wflp 2000: 184-194

Using an Abstract Representation to Specialize Functional Logic ProgramsElvira Albert, Michael Hanus, Germán Vidal. lpar 2000: 381-398 [doi]

Improving Functional Logic Programs by Difference-ListsElvira Albert, César Ferri, Frank Steiner, Germán Vidal. asian 2000: 237-254 [doi]

Realistic Program Specialization in a Multi-Paradigm LanguageElvira Albert, Michael Hanus, Germán Vidal. wflp 2000: 104-119

A Formal Approach to Reasoning about the Effectiveness of Partial EvaluationElvira Albert, Sergio Antoy, Germán Vidal. wflp 2000: 120-127

An Automatic Composition Algorithm for Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. sofsem 2000: 289-297 [doi]

Using PE to Automate Program CompositionMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. wflp 2000: 169-183

1999

1998

1997

Safe Folding/Unfolding with Conditional NarrowingMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. icalp 1997: 1-15

Safe Folding/Unfolding with Conditional NarrowingMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. agp 1997: 347-358

Specialization of Lazy Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. PEPM 1997: 151-162 [doi]

1996

Call-By Name Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. agp 1996: 17-28

Narrowing-Driven Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. ESOP 1996: 45-61

A Compositional Semantic Basis for the Analysis of Equational Horn ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. TCS, 165(1):133-169, 1996. [doi]

1994

Compositional Analysis for Equational Horn ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. icalp 1994: 77-94

A Compositional Semantics for Conditional Term Rewriting SystemsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. iccl 1994: 171-182

A Compositional Semantics for Conditional Term Rewriting SystemsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. agp 1994: 62-76

1993

Narrowing Approximations as an Optimization for Equational Logic ProgramsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. plilp 1993: 391-409

Using Narrowing Approximations to Optimize Equational Logic ProgramsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. agp 1993: 127-142

Incremental Equational Constraint AnalysesMaría Alpuente, Moreno Falaschi, Germán Vidal. slp 1993: 657