Mostrar el registro completo del ítem
Alpuente Frasnedo, M.; Ballis, D.; Escobar Román, S.; Sapiña-Sanchis, J. (2022). Optimization of Rewrite Theories by Equational Partial Evaluation. Journal of Logical and Algebraic Methods in Programming. 124:1-29. https://doi.org/10.1016/j.jlamp.2021.100729
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/194787
Título: | Optimization of Rewrite Theories by Equational Partial Evaluation | |
Autor: | Ballis, D. | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
[EN] In this paper, we develop an automated optimization framework for rewrite theories that supports sorts, subsort overloading, equations and algebraic axioms with free/nonfree constructors, and rewrite rules modeling ...[+]
|
|
Derechos de uso: | Reconocimiento (by) | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | https://doi.org/10.1016/j.jlamp.2021.100729 | |
Código del Proyecto: |
|
|
Tipo: |
|