- -

Listar por palabra clave "Innermost context-sensitive rewriting"

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

Listar por palabra clave "Innermost context-sensitive rewriting"

Ordenar por:Orden:Resultados:

  • thumb
    Innermost Termination of Context-Sensitive Rewriting 
    Alarcón Jiménez, Beatriz (Universitat Politècnica de València, 2011-11-28)
    Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude. We adapt the Dependency Pairs Framework to innermost CSR since, up ...
  • thumb
    Towards a Framework for Proving Termination of Maude Programs 
    Alarcón Jiménez, Beatriz (Universitat Politècnica de València, 2011-06-10)
    Maude es un lenguaje de programación declarativo basado en la lógica de reescritura que incorpora muchas características que lo hacen muy potente. Sin embargo, a la hora de probar ciertas propiedades computacionales esto ...