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 ...
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 ...
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 ...
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 ...
[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 ...
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 ...
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 ...
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) ...