A partial evaluation methodology for optimizing rewrite theories incrementally

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 pr...

Descripción completa

Detalles Bibliográficos
Autores principales: Alpuente, María, Ballis, Demis, Escobar, Santiago, Galán Pascual, Daniel, Sapiña, Julia
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Elsevier 2022
Materias:
Method Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9400080/
https://www.ncbi.nlm.nih.gov/pubmed/36034524
http://dx.doi.org/10.1016/j.mex.2022.101802

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9400080/
https://www.ncbi.nlm.nih.gov/pubmed/36034524
http://dx.doi.org/10.1016/j.mex.2022.101802

Ejemplares similares