LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
ALBERTO DE LA
ENCINA VARA
Profesor contratado doctor
Publications by the researcher in collaboration with ALBERTO DE LA ENCINA VARA (6)
2020
-
A semantic framework to debug parallel lazy functional languages
Mathematics, Vol. 8, Núm. 6
2010
-
Fuzzy-timed automata
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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)