Follow
Salvador Tamarit
Title
Cited by
Cited by
Year
Dynamic slicing techniques for petri nets
M Llorens, J Oliver, J Silva, S Tamarit, G Vidal
Electronic Notes in Theoretical Computer Science 223, 153-165, 2008
492008
Using the words/leafs ratio in the DOM tree for content extraction
D Insa Cabrera, JF Silva Galiana, S Tamarit
Journal of Logic and Algebraic Programming 82 (8), 311-325, 2013
312013
EDD: A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tools and Algorithms for the Construction and …, 2014
232014
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
202012
The MEB and CEB static analysis for CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
Logic-Based Program Synthesis and Transformation: 18th International …, 2009
202009
Precise explanation of success typing errors
K Sagonas, J Silva, S Tamarit
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
192013
Declarative debugging of concurrent Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Journal of logical and algebraic methods in programming 101, 22-41, 2018
172018
SOC: a slicer for CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
142009
Temex: the web template extractor
J Alarte, D Insa, J Silva, S Tamarit
Proceedings of the 24th International Conference on World Wide Web, 155-158, 2015
122015
What web template extractor should I use? A benchmarking and comparison for five template extractors
J Alarte, J Silva, S Tamarit
ACM Transactions on the Web (TWEB) 13 (2), 1-19, 2019
112019
A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013
102013
Static slicing of CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
18th Int’l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR …, 2008
102008
Dynamic slicing of concurrent specification languages
M Llorens, J Oliver, J Silva, S Tamarit
Parallel Computing 53, 1-22, 2016
92016
A zoom-declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Science of Computer Programming 110, 104-118, 2015
92015
Generating a Petri net from a CSP specification: A semantics-based method
M Llorens, J Oliver, J Silva, S Tamarit
Advances in Engineering Software 50, 110-130, 2012
92012
Semiautomatic generation and assessment of Java exercises in engineering education
D Insa, S Pérez, J Silva, S Tamarit
Computer Applications in Engineering Education 29 (5), 1034-1050, 2021
82021
A core Erlang semantics for declarative debugging
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Journal of Logical and Algebraic Methods in Programming 107, 1-37, 2019
82019
Preserving sharing in the partial evaluation of lazy functional programs
S Fischer, J Silva, S Tamarit, G Vidal
Logic-Based Program Synthesis and Transformation: 17th International …, 2008
82008
Behaviour preservation across code versions in Erlang
D Insa, S Pérez, J Silva, S Tamarit
Scientific Programming 2018 (1), 9251762, 2018
72018
Site-level web template extraction based on DOM analysis
J Alarte, D Insa, J Silva, S Tamarit
Perspectives of System Informatics: 10th International Andrei Ershov …, 2016
72016
The system can't perform the operation now. Try again later.
Articles 1–20