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, ...
International Conference on Tools and Algorithms for the Construction and …, 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
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, 349-364, 2013
212013
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
202014
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
192012
FlinkCheck: property-based testing for apache flink
CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá
IEEE Access 7, 150369-150382, 2019
142019
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á
International Workshop on Functional and Constraint Logic Programming, 128-144, 2009
132009
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
122019
Type classes in functional logic programming
E Martin-Martin
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
122011
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
112018
A declarative debugger for sequential Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tests and Proofs, 96-114, 2013
102013
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 (1), 47-85, 2017
92017
Liberal typing for functional logic programs
F López-Fraguas, E Martin-Martin, J Rodríguez-Hortalá
Asian Symposium on Programming Languages and Systems, 80-96, 2010
92010
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
82015
Resource analysis: From sequential to concurrent and distributed programs
E Albert, P Arenas, J Correas, S Genaim, M Gómez-Zamalloa, ...
International Symposium on Formal Methods, 3-17, 2015
82015
Advances in type systems for functional logic programming
E Martín Martín
Ene 17, 55, 2010
72010
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
62019
A formal, resource consumption-preserving translation of actors to haskell
E Albert, N Bezirgiannis, F Boer, E Martin-Martin
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
52016
Debugging meets testing in erlang
S Tamarit, A Riesco, E Martin-Martin, R Caballero
International Conference on Tests and Proofs, 171-180, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20