- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c12 |      | Konstantinos F. Sagonas, Josep Silva, Salvador Tamarit: Precise explanation of success typing errors. PEPM 2013: 33-42 |
| 2012 | ||
| j3 | | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: Generating a Petri net from a CSP specification: A semantics-based method. Advances in Engineering Software 50: 110-130 (2012) |
| j2 | | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: Static slicing of explicitly synchronized languages. Inf. Comput. 214: 10-46 (2012) |
| c11 | | Josep Silva, Salvador Tamarit, César Tomás: System Dependence Graphs in Sequential Erlang. FASE 2012: 486-500 |
| 2011 | ||
| c10 | | Jesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit: XQuery optimization based on program slicing. CIKM 2011: 1525-1534 |
| 2010 | ||
| c9 | | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: Graph Generation to Statically Represent CSP Processes. LOPSTR 2010: 52-66 |
| c8 | | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: A Tracking Semantics for CSP. MPC 2010: 248-270 |
| c7 |  | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: Translating CSP Specifications to Equivalent Petri Nets. PDPTA 2010: 320-326 |
| c6 | | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: An algorithm to generate the context-sensitive synchronized control flow graph. SAC 2010: 2144-2148 |
| 2009 | ||
| c5 | | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: SOC: a slicer for CSP specifications. PEPM 2009: 165-168 |
| c4 | | Michael Leuschel, Salvador Tamarit, Germán Vidal: Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. WFLP 2009: 111-127 |
| i1 | | Michael Leuschel, Salvador Tamarit, Germán Vidal: Improving Size-Change Analysis in Offline Partial Evaluation. CoRR abs/0903.2202 (2009) |
| 2008 | ||
| j1 | | 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) |
| c3 | | 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 |
| c2 | | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: The MEB and CEB Static Analysis for CSP Specifications. LOPSTR 2008: 103-118 |
| 2007 | ||
| c1 | | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal: Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR 2007: 74-89 |
Data released under the ODC-BY 1.0 license — See also our legal information page