Germán Vidal - researchr profile

researchr

You are not signed in
Sign in
Sign up

1992

-

:

Technical University of Valencia

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

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

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]

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

Preserving Sharing in the Partial Evaluation of Lazy Functional ProgramsSebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal. LOPSTR 2008: 74-89 [doi]

Lazy call-by-value evaluationBernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal. ICFP 2007: 265-276 [doi]

runs on WebDSL