- -

Narrowing-based Optimization of Rewrite Theories

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Narrowing-based Optimization of Rewrite Theories

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Ballis, D.; Escobar Román, S.; Sapiña Sanchis, J. (2020). Narrowing-based Optimization of Rewrite Theories. Universitat Politècnica de València. http://hdl.handle.net/10251/145579

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

Ficheros en el ítem

Metadatos del ítem

Título: Narrowing-based Optimization of Rewrite Theories
Autor: Alpuente Frasnedo, María Ballis, Demis Escobar Román, Santiago Sapiña Sanchis, Julia
Entidad UPV: Instituto Valenciano de Investigación en Inteligencia Artificial (VRAIN)
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:
Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as ...[+]
Derechos de uso: Reserva de todos los derechos
Editorial:
Universitat Politècnica de València
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/GVA//PROMETEO%2F2019%2F098/ES/DeepTrust: Deep Logic Technology for Software Trustworthiness/
info:eu-repo/grantAgreement/GVA//APOSTD%2F2019%2F127/ES/APOSTD%2F2019%2F127/
Agradecimientos:
This work has been partially supported by the EU (FEDER) and the Spanish MCIU under grant RTI2018094403-B-C32,andbyGeneralitatValencianaundergrantPROMETEO/2019/098. JuliaSapiñahasbeensupported by the Generalitat Valenciana ...[+]
Tipo: Working Paper

recommendations

 

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

Mostrar el registro completo del ítem