- -

Listar por palabra clave "Context-sensitive rewriting"

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

Listar por palabra clave "Context-sensitive rewriting"

Ordenar por:Orden:Resultados:

  • Icon
    Completeness of Context-Sensitive Rewriting 
    Lucas Alba, Salvador (Elsevier, 2015-02)
    Restrictions of rewriting may turn normal forms of some terms unreachable, leading to incomplete computations. Context-sensitive rewriting (csr) is the restriction of rewriting that only permits reductions on arguments ...
  • thumb
    Context-Sensitive Dependency Pairs Framework 
    Gutiérrez Gil, Raúl (Universitat Politècnica de València, 2011-11-28)
    We show how to develop a dependency pair framework for proving termination of context-sensitive rewriting.
  • thumb
    Innermost Termination of Context-Sensitive Rewriting 
    Alarcón Jiménez, Beatriz; Lucas, Salvador (Universitat Politècnica de València, 2011-05-04)
    Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude, OBJ, etc, which incorporate an innermost strategy which is used to ...
  • thumb
    Proving and disproving confluence of context-sensitive rewriting 
    Lucas Alba, Salvador; Vítores-Vicente, Miguel; Gutiérrez Gil, Raúl (Elsevier, 2022-04)
    [EN] Context-sensitive rewriting is a restriction of term rewriting where reductions are allowed on specific arguments of function symbols only, and then in particular positions of terms. Confluence is an abstract property ...
  • 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 canonical context-sensitive rewriting and productivity of rewrite systems 
    Lucas Alba, Salvador (2015-12-19)
    [EN] Termination of programs, i.e., the absence of infinite computations, ensures the existence of normal forms for all initial expressions, thus providing an essential ingredient for the definition of a normalization ...