Enrique Martin-Martin

发表

Transparent function types: clearing up opacity

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Enrique Martin-Martin, 2012, PPDP.

Resource Analysis: From Sequential to Concurrent and Distributed Programs

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, FM.

May-Happen-in-Parallel Analysis for Actor-Based Concurrency

Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2015, ACM Trans. Comput. Log..

Declarative debugging of concurrent Erlang programs

Adrián Riesco, Salvador Tamarit, Rafael Caballero, 2018, J. Log. Algebraic Methods Program..

FLOP: A User-Friendly System for Automated Program Assessment

J. Ángel Velázquez-Iturbide, Enrique Martin-Martin, Cristóbal Pareja-Flores, 2014, J. Univers. Comput. Sci..

Liberal Typing for Functional Logic Programs

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2010, APLAS.

A Declarative Debugger for Sequential Erlang Programs

Adrián Riesco, Salvador Tamarit, Rafael Caballero, 2013, TAP@STAF.

Advances in Type Systems for Functional Logic Programming

Enrique Martin-Martin, Juan Rodr, Enrique Martin-Martin, 2008 .

Debugging Meets Testing in Erlang

Adrián Riesco, Salvador Tamarit, Rafael Caballero, 2016, TAP@STAF.

FLOP, a free laboratory of programming

Enrique Martin-Martin, Cristóbal Pareja-Flores, Luis Llana, 2012, Koli Calling.

Typing as functional-logic evaluation

Enrique Martin-Martin, Francisco Javier López-Fraguas, Enrique Martin-Martin, 2013, PEPM '13.

SACO: Static Analyzer for Concurrent Objects

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2014, TACAS.

A zoom-declarative debugger for sequential Erlang programs

Adrián Riesco, Salvador Tamarit, Rafael Caballero, 2015, Sci. Comput. Program..

FlinkCheck: Property-Based Testing for Apache Flink

Adrián Riesco, Enrique Martin-Martin, Juan Rodríguez-Hortalá, 2019, IEEE Access.

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

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2012, Theory and Practice of Logic Programming.

A core Erlang semantics for declarative debugging

Adrián Riesco, Salvador Tamarit, Rafael Caballero, 2019, J. Log. Algebraic Methods Program..

A Transformational Approach to Resource Analysis with Typed-norms Inference

Raúl Gutiérrez, Elvira Albert, Samir Genaim, 2020, Theory Pract. Log. Program..

EDD: A Declarative Debugger for Sequential Erlang Programs

Adrián Riesco, Salvador Tamarit, Rafael Caballero, 2014, TACAS.

Type classes in functional logic programming

Enrique Martin-Martin, 2011, PEPM '11.

Static Inference of Transmission Data Sizes in Distributed Systems

Elvira Albert, Guillermo Román-Díez, Enrique Martin-Martin, 2014, ISoLA.

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

Frank S. de Boer, Elvira Albert, Enrique Martin-Martin, 2020, Fundam. Informaticae.

A Language-Independent Technique for Assessing Tweet Success: An Experience Report

Enrique Martin-Martin, Adrián Riesco, Manuel Rodríguez, 2018, IEEE Access.

A unified framework for declarative debugging and testing

Adrián Riesco, Salvador Tamarit, Enrique Martin-Martin, 2021, Inf. Softw. Technol..

Type Classes in Functional Logic Programming (Author’s version for E-Prints Complutense)

Enrique Martin-Martin, 2011 .

New Results on Type Systems for Functional Logic Programming

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2009, WFLP.

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

Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2016, Journal of Automated Reasoning.

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

Enrique Martin-Martin, Juan Rodríguez-Hortalá, Francisco Javier López-Fraguas, 2012, PEPM '12.

May-Happen-in-Parallel Analysis for Priority-Based Scheduling

Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2013, LPAR.

Termination and Cost Analysis of Loops with Concurrent Interleavings

Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2013, ATVA.

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

Frank S. de Boer, Elvira Albert, Enrique Martin-Martin, 2016, LOPSTR.

Resource Analysis driven by (Conditional) Termination Proofs pdf

Elvira Albert, Enrique Martin-Martin, Miquel Bofill, 2019, Theory and Practice of Logic Programming.

Lower-Bound Synthesis Using Loop Specialization and Max-SMT

Albert Rubio, Samir Genaim, Enrique Martin-Martin, 2021, CAV.

Implementing Type Classes using Type-Indexed Functions ∗

Enrique Martin-Martin, Enrique Martin-Martin, 2010 .