Follow
Enrique Martin-Martin
Title
Cited by
Cited by
Year
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
912014
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
242014
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
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
212013
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
FlinkCheck: property-based testing for apache flink
CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá
IEEE Access 7, 150369-150382, 2019
172019
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
152019
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
152018
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
122010
Type classes in functional logic programming
E Martin-Martin
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
112011
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
102013
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
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
82019
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
Las bases de Big data y de la Inteligencia Artificial
R Caballero, E Martín
Los libros de la Catarata, 2022
62022
Big data con python
Caballero
Alfaomega, 2019
62019
The system can't perform the operation now. Try again later.
Articles 1–20