Construyendo una base de datos de reglas de reescritura: Un proyecto ambicioso
2025-02-22
Esta publicación propone la creación de una base de datos de reglas de reescritura que abarcan varios dominios, incluyendo propiedades de enteros, diferenciación, teoría de conjuntos, vectores de bits, programas funcionales y más. El autor enumera numerosos proyectos y bibliotecas existentes que contienen reglas de reescritura y discute la viabilidad y los desafíos de unificar estas reglas en un formato común. Si bien algunas reglas pueden demostrarse directamente con solucionadores SMT existentes, el autor argumenta que una base de datos de reglas de reescritura bien definida es crucial para reescrituras y manipulaciones precisas en contextos de aplicación específicos y será un recurso valioso para futuras investigaciones.
Desarrollo
reglas de reescritura