Enrique Martin-Martin

According to our database1, Enrique Martin-Martin authored at least 25 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Declarative debugging of concurrent Erlang programs.
J. Log. Algebr. Meth. Program., 2018

A Language-Independent Technique for Assessing Tweet Success: An Experience Report.
IEEE Access, 2018

2017
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings.
J. Autom. Reasoning, 2017

2016
May-Happen-in-Parallel Analysis for Actor-Based Concurrency.
ACM Trans. Comput. Log., 2016

Debugging Meets Testing in Erlang.
Proceedings of the Tests and Proofs - 10th International Conference, 2016

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015
A zoom-declarative debugger for sequential Erlang programs.
Sci. Comput. Program., 2015

A liberal type system for functional logic programs.
Mathematical Structures in Computer Science, 2015

Resource Analysis: From Sequential to Concurrent and Distributed Programs.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Rewriting and narrowing for constructor systems with call-time choice semantics.
TPLP, 2014

FLOP: A User-Friendly System for Automated Program Assessment.
J. UCS, 2014

Safe typing of functional logic programs with opaque patterns and local bindings.
Inf. Comput., 2014

EDD: A Declarative Debugger for Sequential Erlang Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

SACO: Static Analyzer for Concurrent Objects.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Static Inference of Transmission Data Sizes in Distributed Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
A Declarative Debugger for Sequential Erlang Programs.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

Typing as functional-logic evaluation.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

May-Happen-in-Parallel Analysis for Priority-Based Scheduling.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Termination and Cost Analysis of Loops with Concurrent Interleavings.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Transparent function types: clearing up opacity.
Proceedings of the Principles and Practice of Declarative Programming, 2012

Well-typed narrowing with extra variables in functional-logic programming.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

FLOP, a free laboratory of programming.
Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012

2011
Type classes in functional logic programming.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010
Liberal Typing for Functional Logic Programs.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009
New Results on Type Systems for Functional Logic Programming.
Proceedings of the Functional and Constraint Logic Programming, 2009


  Loading...