Instituto Universitario de Estadística y Ciencia de Datos
Centro/Instituto
FERNANDO
RUBIO DÍEZ
Profesor titular de universidad
Publicaciones en las que colabora con FERNANDO RUBIO DÍEZ (6)
2020
-
A semantic framework to debug parallel lazy functional languages
Mathematics, Vol. 8, Núm. 6
2009
-
A debugging system based on natural semantics
Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880
2007
-
Introducing debugging capabilities to natural semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Observing intermediate structures in a parallel lazy functional language
PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
2005
-
Formalizing the debugging process in Haskell
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Adding traces to a lazy monadic evaluator
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)