- -

Listar por autor "Iborra López, José"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Iborra López, José"

Ordenar por:Orden:Resultados:

  • thumb
    Proving Termination of Context-Sensitive Rewriting with MU-TERM 
    Alarcón, Beatriz; Gutiérrez Gil, Raúl; Iborra, José; Lucas Alba, Salvador (Elsevier, 2007-07-16)
    [EN] 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 ...
  • thumb
    Termination of Narrowing with Dependency Pairs 
    Iborra López, José (Universitat Politècnica de València, 2011-11-28)
    In this work, we generalize the Dependency Pairs approach for automated proofs of termination to prove the termination of narrowing.We identify the phenomenon of echoing in infinite narrowing derivations and demonstrate ...
  • thumb
    Termination of Narrowing: Automated Proofs and Modularity Properties 
    Iborra López, José (Universitat Politècnica de València, 2013-02-11)
    En 1936 Alan Turing demostro que el halting problem, esto es, el problema de decidir si un programa termina o no, es un problema indecidible para la inmensa mayoria de los lenguajes de programacion. A pesar de ello, la ...