- -

infChecker. A Tool for Checking Infeasibility

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

infChecker. A Tool for Checking Infeasibility

Mostrar el registro completo del ítem

Gutiérrez Gil, R.; Lucas Alba, S. (2019). infChecker. A Tool for Checking Infeasibility. Universidade de Brasilia. 38-42. http://hdl.handle.net/10251/181069

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

Ficheros en el ítem

Metadatos del ítem

Título: infChecker. A Tool for Checking Infeasibility
Autor: Gutiérrez Gil, Raúl Lucas Alba, Salvador
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[EN] Given a Conditional Term Rewriting System (CTRS) R and terms s and t, we say that the reachability condition s ->* t is *feasible* if there is a substitution \sigma instantiating the variables in s and t such that ...[+]
Palabras clave: Infeasibility , Program analysis , Term rewriting
Derechos de uso: Reserva de todos los derechos
Fuente:
Joint Proceedings of HOR 2019 and IWC 2019.
Editorial:
Universidade de Brasilia
Versión del editor: https://hor2019.github.io/
Título del congreso: 8th International Workshop on Confluence (IWC 2019)
Lugar del congreso: Dortmund, Germany
Fecha congreso: Junio 28-28,2019
Código del Proyecto:
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/
info:eu-repo/grantAgreement/UPV//SP20180225/ES/Herramientas formales para la verificación de programas/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2019%2F098/ES/DEEPTRUST/
Agradecimientos:
Partially supported by the EU (FEDER), and projects RTI2018-094403-B-C32, PROMETEO/2019/098, and SP20180225. Raul Gutierrez was also supported by INCIBE program Ayudas para la excelencia de los equipos de investigacion ...[+]
Tipo: Comunicación en congreso

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem