Publicaciones (41) Publicaciones de ENRIQUE MARTÍN MARTÍN

2023

  1. Formally Verified EVM Block-Optimizations

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

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

  2. Lower-Bound Synthesis Using Loop Specialization and Max-SMT

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

2020

  1. A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

    Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234

2019

  1. A Transformational Approach to Resource Analysis with Typed-norms Inference

    Theory and Practice of Logic Programming

  2. A core Erlang semantics for declarative debugging

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

  3. FlinkCheck: Property-based testing for apache flink

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

  4. Resource Analysis driven by (Conditional) Termination Proofs

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739

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. A formal, resource consumption-preserving translation of actors to Haskell

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

  2. Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

    Journal of Automated Reasoning, Vol. 59, Núm. 1, pp. 47-85

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

  3. Las bases de Big Data

    Ediciones Complutense