Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Confluence"

Mostrando ítems 1-9 de 9

Aplicación de mantenimiento software en consultoría: conceptos, implantación de metodología, herramientas y documentación asociada

Quevedo García-Melgares, Manuel (Universitat Politècnica de València, 2024-07-02)

[ES] El mantenimiento del software es una de las etapas del ciclo de vida del software en la que se dedica mayor coste e inversión en horas de trabajo. Hoy en día por parte de las empresas de consultoría se crean equipos ...
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 ...
CONTRAPUNTO arquitectónico en las manzanas enfrentadas de Morvedre.

Aguado Vicaria, Susana (Universitat Politècnica de València, 2022-09-05)

[ES] La calle Sagunto. Una calle que demanda ser cursora de un gran flujo de individuos y de actividad, se encuentra coronada por dos manzanas con vocación de identidad. Éstas, inmersas en una trama desordenada y arraigadas ...
Desarrollo de una librería software para el análisis y validación de imágenes 2D/3D PET basado en el protocolo NEMA

Poves Carrasco, Pablo (Universitat Politècnica de València, 2022-01-05)

[ES] En este trabajo de fin de grado se detalla el diseño e implementación de una librería de análisis de imagen PET (Imagen por emisión de positrones) basada en el protocolo NEMA NU-4 2008, que permite evaluar la calidad ...
Local confluence of conditional and generalized term rewriting systems

Lucas Alba, Salvador (Elsevier, 2024-01)

[EN] Reduction-based systems are used as a basis for the implementation of programming languages, automated reasoning systems, mathematical analysis tools, etc. In such inherently non deterministic systems, guaranteeing ...
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 ...
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 ...
Term rewriting systems .net framework

Arnal Julián, Salvador (Universitat Politècnica de València, 2014-11-18)

[EN] This thesis presents the implementation of a framework to work with term rewriting systems. Term rewriting systems provide a complete computational model which is very close to functional programming. Its formulation ...
Use of logical models for proving infeasibility in term rewriting

Lucas Alba, Salvador; Gutiérrez Gil, Raúl (Elsevier, 2018)

[EN] Given a (Conditional) Rewrite System R and terms s and t, we consider the following problem: is there a substitution a instantiating the variables in s and t such that the reachability test sigma(s) -> *(R) sigma(t) ...