Salvador Tamarit

Identifiers

• name variant Salvador Tamarit 0.60 · backfill

Papers (8)

1. Enhancing POI testing approach through the use of additional information cs.PL · 2018 · author #2
2. Runtime verification in Erlang by using contracts cs.PL · 2018 · author #4
3. Erlang Code Evolution Control (Use Cases) cs.PL · 2018 · author #4
4. Erlang Code Evolution Control cs.PL · 2017 · author #4
5. Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures cs.PL · 2016 · author #1
6. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code cs.PL · 2016 · author #3
7. Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems cs.PL · 2016 · author #1
8. Improving Size-Change Analysis in Offline Partial Evaluation cs.PL · 2009 · author #2

Mentions

• 0903.2202 #2 · backfill · confidence 0.70 Salvador Tamarit

Frequent Coauthors

• Julio Mari\~no 4 shared papers
• Sergio P\'erez 4 shared papers
• Guillermo Vigueras 3 shared papers
• Manuel Carro 3 shared papers
• David Insa 2 shared papers
• Josep Silva 2 shared papers
• German Vidal 1 shared papers
• Lars-{\AA}ke Fredlund 1 shared papers
• Michael Leuschel 1 shared papers