José Iborra

Learn More
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger is based on the traditional stop-examine-continue model of online debugging, which is simple and intuitive, but has traditionally been shunned in the context of Haskell because it(More)
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem with several applications in the fields of term rewriting and programming languages. Several methods have been developed for proving termination of CSR. The new version of MU-TERM(More)
This paper describes several classes of term rewriting systems (TRS's) where narrowing has a finite search space and is still (strongly) complete as a mechanism for solving reachability goals. These classes do not assume confluence of the TRS. We also ascertain purely syntactic criteria that suffice to ensure the termination of narrowing and include several(More)
This work is motivated by the fact that a " compact " semantics for term rewriting systems, which is essential for the development of effective semantics-based program manipulation tools (e.g. automatic program analyzers and debuggers), does not exist. The big-step rewriting semantics that is most commonly considered in functional programming is the set of(More)
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new result for proving relative termination in terms of a dependency pair problem. Both contributions put together allow us to define a simple and powerful approach to analyzing the(More)
1. Introducción En la Ingeniería del Software aplicada a la industria, la aplicación de formalismos para dar soporte a herramientas industriales no ha sido siempre bien recibida. Pese a que existen casos de exitosa aplicación [1], una serie de mitos y creencias separa a la comunidad teórica de la industria. En [2] se plantea un interesante debate sobre los(More)
Basic narrowing is a restricted form of narrowing which constrains narrowing steps to a set of unblocked (or basic) positions. In this work, we study the mod-ularity of termination of basic narrowing in hierarchical combinations of TRSs, which provides new algorithmic criteria to prove termination of basic narrowing. Basic narrowing has a number of(More)
A thorough understanding of the in vivo kinetics of microorganisms requires the analysis of different data sets and therefore needs support from different sources of genome, transcriptome, proteome and metabolome data, as well as to generate new data in the laboratory to depict cell phenotypes in different scenarios. The value of dynamic metabolic data(More)