- -

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 sencillo del ítem

Ficheros en el ítem

dc.contributor.author Alpuente Frasnedo, María es_ES
dc.contributor.author Ballis, Demis es_ES
dc.contributor.author Escobar Román, Santiago es_ES
dc.contributor.author Galán-Pascual, Daniel es_ES
dc.contributor.author Sapiña-Sanchis, Julia es_ES
dc.date.accessioned 2023-10-17T18:01:24Z
dc.date.available 2023-10-17T18:01:24Z
dc.date.issued 2022 es_ES
dc.identifier.uri http://hdl.handle.net/10251/198248
dc.description.abstract [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 nondeterministic systems by means of the Maude language. The main advantages of the proposed methodology can be summarized as follows: An automatic program optimization technique for rewrite theories featuring several PE criteria that support the specialization of a broad class of rewrite theories. An incremental partial evaluation modality that allows the key specialization components to be encapsulated at the desired granularity level to facilitate progressive refinements of the specialization. All executability theory requirements are preserved by the PE transformation. Also the transformation ensures the semantic equivalence between the original rewrite theory and the specialized theory under rather mild conditions. es_ES
dc.description.sponsorship 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 way of making Europe", and by the Generalitat Valenciana under grant PROMETEO/2019/098. es_ES
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation.ispartof MethodsX es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1016/j.mex.2022.101802 es_ES
dc.relation.projectID info:eu-repo/grantAgreement/EC/H2020/952215/EU es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEO%2F2019%2F098//DEEPTRUST/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//PID2021-122830OB-C42/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion https://doi.org/10.1016/j.mex.2022.101802 es_ES
dc.description.upvformatpinicio 1 es_ES
dc.description.upvformatpfin 10 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 9 es_ES
dc.identifier.eissn 2215-0161 es_ES
dc.identifier.pmid 36034524 es_ES
dc.identifier.pmcid PMC9400080 es_ES
dc.relation.pasarela S\469609 es_ES
dc.contributor.funder GENERALITAT VALENCIANA es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder COMISION DE LAS COMUNIDADES EUROPEA es_ES
dc.contributor.funder Ministerio de Economía y Competitividad es_ES
upv.costeAPC 550 es_ES


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

Mostrar el registro sencillo del ítem