- -

A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Ballis, D.; Escobar Román, S.; Galán-Pascual, D.; Sapiña-Sanchis, J. (2022). A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally. MethodsX. 9:1-10. https://doi.org/10.1016/j.mex.2022.101802

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

Ficheros en el ítem

Metadatos del ítem

Título: A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally
Autor: Alpuente Frasnedo, María Ballis, Demis Escobar Román, Santiago Galán-Pascual, Daniel Sapiña-Sanchis, Julia
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha difusión:
Resumen:
[EN] Partial evaluation (PE) is a branch of computer science that achieves code optimization via specialization. This article describes a PE methodology for optimizing rewrite theories that encode concurrent as well as ...[+]
Derechos de uso: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Fuente:
MethodsX. (eissn: 2215-0161 )
DOI: 10.1016/j.mex.2022.101802
Editorial:
Elsevier
Versión del editor: https://doi.org/10.1016/j.mex.2022.101802
Coste APC: 550
Código del Proyecto:
info:eu-repo/grantAgreement/EC/H2020/952215/EU
info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEO%2F2019%2F098//DEEPTRUST/
info:eu-repo/grantAgreement/MINECO//PID2021-122830OB-C42/
Agradecimientos:
This work was partially supported by TAILOR, a project funded by the EU Horizon 2020 research and innovation programme under GA No 952215, grant PID2021-122830OB-C42 funded by MCIN/AEI/10.13039/501100011033 and by "ERDF A ...[+]
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem