Enrique Martin-Martin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verification of the ROS NavFn planner using executable specification languages Journal of Logical and Algebraic Methods in Programming	2023-03-20	Paper
Lower-bound synthesis using loop specialization and Max-SMT	2022-03-25	Paper
A transformational approach to resource analysis with typed-norms inference Theory and Practice of Logic Programming	2021-09-03	Paper
A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell Fundamenta Informaticae	2021-05-20	Paper
Resource analysis driven by (conditional) termination proofs Theory and Practice of Logic Programming	2020-05-04	Paper
A core Erlang semantics for declarative debugging Journal of Logical and Algebraic Methods in Programming	2019-10-17	Paper
Declarative debugging of concurrent Erlang programs Journal of Logical and Algebraic Methods in Programming	2018-11-01	Paper
A formal, resource consumption-preserving translation of actors to Haskell (available as arXiv preprint)	2017-10-13	Paper
Rely-guarantee termination and cost analyses of loops with concurrent interleavings Journal of Automated Reasoning	2017-08-15	Paper
May-happen-in-parallel analysis for actor-based concurrency ACM Transactions on Computational Logic	2017-07-12	Paper
A liberal type system for functional logic programs Mathematical Structures in Computer Science	2016-07-27	Paper
Termination and cost analysis of loops with concurrent interleavings Automated Technology for Verification and Analysis	2014-07-08	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics Theory and Practice of Logic Programming	2014-04-17	Paper
Safe typing of functional logic programs with opaque patterns and local bindings Information and Computation	2014-03-13	Paper
May-Happen-in-Parallel Analysis for Priority-Based Scheduling Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
New results on type systems for functional logic programming Functional and Constraint Logic Programming	2010-04-27	Paper

Research outcomes over time

This page was built for person: Enrique Martin-Martin