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
402008
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
292013
The MEB and CEB static analysis for CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
International Symposium on Logic-Based Program Synthesis and Transformation …, 2008
212008
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
202014
System dependence graphs in sequential erlang
J Silva, S Tamarit, C Tomás
International Conference on Fundamental Approaches to Software Engineering …, 2012
172012
Precise explanation of success typing errors
K Sagonas, J Silva, S Tamarit
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
162013
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
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
112018
A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tests and Proofs, 96-114, 2013
102013
Static slicing of CSP specifications
M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit
Pre-Proceedings of LOPSTR 2008, 141, 2008
102008
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
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
82015
Preserving sharing in the partial evaluation of lazy functional programs
S Fischer, J Silva, S Tamarit, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2007
82007
A declarative debugger for concurrent erlang programs (extended version)
R Caballero, E Martın-Martın, A Riesco, S Tamarit
Technical Report SIC-15/13, Dpto. Sistemas Informáticos y Computación …, 2013
72013
An algorithm to generate the context-sensitive synchronized control flow graph
M Llorens, J Oliver, J Silva, S Tamarit
Proceedings of the 2010 ACM Symposium on Applied Computing, 2144-2148, 2010
72010
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
62019
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
62019
Behaviour preservation across code versions in Erlang
D Insa, S Pérez, J Silva, S Tamarit
Scientific Programming 2018, 2018
62018
Where you sit matters how classroom seating might affect marks
D Insa, J Silva, S Tamarit
Proceedings of the 2016 ACM Conference on Innovation and Technology in …, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20