Buscar en RiuNet

Listar

Mostrando ítems 1-4 de 4

Analysis Techniques for Software Maintenance

Pérez Rubio, Sergio (Universitat Politècnica de València, 2023-05-05)

[ES] Vivimos en una sociedad donde la digitalización está presente en nuestro día a día. Nos despertamos con la alarma de nuestro teléfono móvil, apuntamos nuestras reuniones en nuestro calendario digital, guardamos nuestros ...
Cálculo de las expresiones generadas de un programa

Vidal Oriola, Germán Francisco (2022-07-14)

En el vídeo se introduce la definición formal de una función (gen) para calcular las expresiones generadas en cada bloque de un programa. La función gen se emplea en diferentes contextos, como es el caso del análisis de ...
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 ...
Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura

Martínez López, Alejandro (Universitat Politècnica de València, 2022-10-21)

[ES] Realizar una herramienta que demuestra la terminación de sistemas de reescritura utilizando el denominado Marco de Pares de Dependencia (\emph{DP Framework}) a partir de procesadores aportados por usuarios externos. ...

Mostrando ítems 1-4 de 4