Enrique Martin-Martin

Available identifiers

Publication	Date of Publication	Type
Verification of the ROS NavFn planner using executable specification languages	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	2021-09-03	Paper
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*	2021-05-20	Paper
Resource Analysis driven by (Conditional) Termination Proofs	2020-05-04	Paper
A core Erlang semantics for declarative debugging	2019-10-17	Paper
Declarative debugging of concurrent Erlang programs	2018-11-01	Paper
A formal, resource consumption-preserving translation of actors to Haskell	2017-10-13	Paper
Rely-guarantee termination and cost analyses of loops with concurrent interleavings	2017-08-15	Paper
May-Happen-in-Parallel Analysis for Actor-Based Concurrency	2017-07-12	Paper
A liberal type system for functional logic programs	2016-07-27	Paper
Termination and Cost Analysis of Loops with Concurrent Interleavings	2014-07-08	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics	2014-04-17	Paper
Safe typing of functional logic programs with opaque patterns and local bindings	2014-03-13	Paper
May-Happen-in-Parallel Analysis for Priority-Based Scheduling	2014-01-17	Paper
New Results on Type Systems for Functional Logic Programming	2010-04-27	Paper

This page was built for person: Enrique Martin-Martin