2009 |
6 | EE | Michael Leuschel,
Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit:
SOC: a slicer for CSP specifications.
PEPM 2009: 165-168 |
5 | EE | Michael Leuschel,
Salvador Tamarit,
Germán Vidal:
Improving Size-Change Analysis in Offline Partial Evaluation
CoRR abs/0903.2202: (2009) |
2008 |
4 | EE | Michael Leuschel,
Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit:
The MEB and CEB Static Analysis for CSP Specifications.
LOPSTR 2008: 103-118 |
3 | 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 |
2 | 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) |
2007 |
1 | EE | Sebastian Fischer,
Josep Silva,
Salvador Tamarit,
Germán Vidal:
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.
LOPSTR 2007: 74-89 |