- -

CONFident: una herramienta para el análisis de la confluencia de sistemas de reescritura

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

CONFident: una herramienta para el análisis de la confluencia de sistemas de reescritura

Show full item record

Vítores Vicente, M. (2022). CONFident: una herramienta para el análisis de la confluencia de sistemas de reescritura. Universitat Politècnica de València. http://hdl.handle.net/10251/182291

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/182291

Files in this item

Item Metadata

Title: CONFident: una herramienta para el análisis de la confluencia de sistemas de reescritura
Author: Vítores Vicente, Miguel
Director(s): Lucas Alba, Salvador
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2022-04-05
Issued date:
Abstract:
[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 ...[+]


[EN] CONFident is a tool that proves confluence, one of the most important properties in rewriting systems’ analysis. For this purpose it makes use of some tools such as infChecker or mu-term. For instance, infChecker ...[+]
Subjects: Term rewriting , Confluence , Term rewriting systems , Context-sensitive rewriting system , Análisis de programas , Confluencia , Reescritura , Program analysis , Sistemas de reescritura de términos , Sistema de reescritura sensible al contexto , Reescritura de términos
Copyrigths: Reserva de todos los derechos
Publisher:
Universitat Politècnica de València
degree: Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
Type: Tesis de máster

recommendations

 

This item appears in the following Collection(s)

Show full item record