Publicaciones en las que colabora con ENRIQUE MARTÍN MARTÍN (21)

2023

  1. Verification of the ROS NavFn planner using executable specification languages

    Journal of Logical and Algebraic Methods in Programming, Vol. 132

2022

  1. Improving Database Learning with an Automatic Judge

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  2. LearnSQL: un juez para el aprendizaje de las bases de datos

    Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288

2021

  1. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

2019

  1. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

  2. FlinkCheck: Property-based testing for apache flink

    IEEE Access, Vol. 7, pp. 150369-150382

2018

  1. A language-independent technique for assessing tweet success: An experience report

    IEEE Access, Vol. 6, pp. 62384-62395

  2. Declarative debugging of concurrent Erlang programs

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41

2017

  1. Sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos

    Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de marzo de 2017, Facultad de Geografía e Historia (Universidad Complutense de Madrid), pp. 69-73

2016

  1. Debugging meets testing in Erlang

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

2015

  1. A liberal type system for functional logic programs

    Mathematical Structures in Computer Science

  2. A zoom-declarative debugger for sequential Erlang programs

    Science of Computer Programming, Vol. 110, pp. 104-118

2014

  1. EDD: A declarative debugger for sequential Erlang programs

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

  2. Rewriting and narrowing for constructor systems with call-time choice semantics

    Theory and Practice of Logic Programming, Vol. 14, Núm. 2, pp. 165-213

  3. Safe typing of functional logic programs with opaque patterns and local bindings

    Information and Computation, Vol. 235, pp. 36-69

2013

  1. A declarative debugger for sequential Erlang programs

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

  2. Typing as functional-logic evaluation

    PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013

2012

  1. Well-typed narrowing with extra variables in functional-logic programming

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

2010

  1. Liberal typing for functional logic programs

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

  2. New results on type systems for functional logic programming

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