Seguir
Enrique Martin-Martin
Título
Citado por
Citado por
Año
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
892014
May-happen-in-parallel analysis for actor-based concurrency
E Albert, A Flores-Montoya, S Genaim, E Martin-Martin
ACM Transactions on Computational Logic (TOCL) 17 (2), 1-39, 2015
232015
EDD: A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tools and Algorithms for the Construction and …, 2014
232014
Las bases de big data
R Caballero, E Martín
Catarata, 2015
222015
Termination and cost analysis of loops with concurrent interleavings
E Albert, A Flores-Montoya, S Genaim, E Martin-Martin
Automated Technology for Verification and Analysis: 11th International …, 2013
222013
FLOP, a free laboratory of programming
L Llana, E Martin-Martin, C Pareja-Flores
Proceedings of the 12th Koli Calling International Conference on Computing …, 2012
212012
Resource analysis driven by (conditional) termination proofs
E Albert, M Bofill, C Borralleras, E Martin-Martin, A Rubio
Theory and Practice of Logic Programming 19 (5-6), 722-739, 2019
202019
FlinkCheck: property-based testing for apache flink
CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá
IEEE Access 7, 150369-150382, 2019
192019
Declarative debugging of concurrent Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Journal of logical and algebraic methods in programming 101, 22-41, 2018
172018
FLOP: A User-Friendly System for Automated Program Assessment.
L Llana, E Martin-Martin, C Pareja-Flores, JÁ Velázquez-Iturbide
J. Univers. Comput. Sci. 20 (9), 1304-1326, 2014
132014
New results on type systems for functional logic programming
FJ López-Fraguas, E Martin-Martin, J Rodríguez-Hortalá
Functional and Constraint Logic Programming: 18th International Workshop …, 2010
132010
Type classes in functional logic programming
E Martin-Martin
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
122011
A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013
112013
A core Erlang semantics for declarative debugging
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Journal of Logical and Algebraic Methods in Programming 107, 1-37, 2019
102019
Las bases de big data y de la inteligencia artificial
R Caballero, E Martín
Los libros de la Catarata, 2022
92022
A zoom-declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Science of Computer Programming 110, 104-118, 2015
92015
Liberal typing for functional logic programs
F López-Fraguas, E Martin-Martin, J Rodríguez-Hortalá
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010
92010
Las bases de Big Data
E Martín, R Caballero
Los Libros de La Catarata, 2020
82020
Rely-guarantee termination and cost analyses of loops with concurrent interleavings
E Albert, A Flores-Montoya, S Genaim, E Martin-Martin
Journal of Automated Reasoning 59, 47-85, 2017
82017
Resource analysis: From sequential to concurrent and distributed programs
E Albert, P Arenas, J Correas, S Genaim, M Gómez-Zamalloa, ...
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
72015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20