- -

Listar por autor "Vítores Vicente, Miguel"

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

Listar por autor "Vítores Vicente, Miguel"

Ordenar por:Orden:Resultados:

  • thumb
    CONFident: una herramienta para el análisis de la confluencia de sistemas de reescritura 
    Vítores Vicente, Miguel (Universitat Politècnica de València, 2022-04-29)
    [ES] CONFident es una herramienta que demuestra la confluencia, una de las propiedades más importantes en el análisis de sistemas de reescritura. Para ello hace uso de algunas herramientas como infChecker o mu-term. Por ...
  • 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 ...
  • Icon
    Proving Confluence in the Confluence Framework with CONFident 
    Gutiérrez, Raúl; Lucas Alba, Salvador; Vítores-Vicente, Miguel (IOS Press, 2024)
    [EN] This article describes the confluence framework, , a novel framework for proving disproving confluence using a divide-and-conquer modular strategy, and its implementation CONFident. . Using this approach, we are able ...