Josep Silva
Title
Cited by
Cited by
Year
A vocabulary of program slicing-based techniques
J Silva
ACM computing surveys (CSUR) 44 (3), 1-41, 2012
1492012
A comparative study of algorithmic debugging strategies
J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
762006
A survey on sleep assessment methods
V Ibáñez, J Silva, O Cauli
PeerJ 6, e4849, 2018
662018
Software based fault tolerance: a survey
GK Saha
Ubiquity 2006 (July), 1-1, 2006
502006
A survey on algorithmic debugging strategies
J Silva
Advances in engineering software 42 (11), 976-991, 2011
492011
An algorithmic debugger for Java
D Insa, J Silva
2010 IEEE International Conference on Software Maintenance, 1-6, 2010
442010
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
41*2013
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
392004
Combining algorithmic debugging and program slicing
J Silva, O Chitil
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
372006
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
362008
Aprendizaje basado en proyectos en la carrera de Ingeniería Informática
V Estruch, J Silva
Actas de las XII Jornadas de la Enseñanza Universitaria de la Informática …, 2006
362006
A survey on sleep questionnaires and diaries
V Ibáñez, J Silva, O Cauli
Sleep medicine 42, 90-96, 2018
322018
Fast narrowing-driven partial evaluation for inductively sequential programs
JG Ramos, J Silva, G Vidal
ACM SIGPLAN Notices 40 (9), 228-239, 2005
262005
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
202008
Run-time profiling of functional logic programs
B Brassel, M Hanus, F Huch, J Silva, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2004
192004
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
182017
Semi-automatic assessment of unrestrained Java code: a library, a DSL, and a workbench to assess exams and exercises
D Insa, J Silva
Proceedings of the 2015 ACM Conference on Innovation and Technology in …, 2015
172015
Lightweight program specialization via dynamic slicing
C Ochoa, J Silva, G Vidal
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005
162005
A new hybrid debugging architecture for eclipse
J González, D Insa, J Silva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
142013
Precise explanation of success typing errors
K Sagonas, J Silva, S Tamarit
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20