- -

Partial Evaluation of Rewriting Logic Theories

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Partial Evaluation of Rewriting Logic Theories

Show full item record

Cuenca Ortega, ÁE. (2019). Partial Evaluation of Rewriting Logic Theories [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/130206

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

Files in this item

Item Metadata

Title: Partial Evaluation of Rewriting Logic Theories
Author: Cuenca Ortega, Ángel Eduardo
Director(s): Alpuente Frasnedo, María Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2019-09-27
Issued date:
Abstract:
[ES] La evaluación parcial de programas es una técnica general y potente de optimización de programas que preserva su semántica y tiene muchas aplicaciones relevantes. La optimización se consigue al especializar programas ...[+]


[CAT] L'avaluació parcial de programes és una tècnica general i potent d'optimització de programes que preserva la seua semàntica i té moltes aplicacions rellevants. L'optimització s'aconseguix a l'especialitzar programes ...[+]


[EN] Partial evaluation is a powerful and general program optimization technique that preserves program semantics and has many successful applications. Optimization is achieved by specializing programs w.r.t. a part of ...[+]
Subjects: Partial evaluation , Evaluación parcial , Maude
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/130206
Thanks:
Finally, I extend my thanks to SENESCYT for the support provided for my studies. Also, I thank the Universidad de Guayaquil that is my place of work.
Type: Tesis doctoral

This item appears in the following Collection(s)

Show full item record