Publications dans lesquelles il/elle collabore avec ALBERTO DE LA ENCINA VARA (6)

2020

  1. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

2010

  1. Fuzzy-timed automata

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. A debugging system based on natural semantics

    Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

2007

  1. Introducing debugging capabilities to natural semantics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. 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

  1. Formalizing the debugging process in Haskell

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)