- -

Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude

Show full item record

Galán Pascual, D. (2021). Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude. Universitat Politècnica de València. http://hdl.handle.net/10251/172553

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

Files in this item

Item Metadata

Title: Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude
Author: Galán Pascual, Daniel
Director(s): Alpuente Frasnedo, María Sapiña Sanchis, Julia
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Read date / Event date:
2021-07-19
Issued date:
Abstract:
[ES] El estado del arte en el diseño de herramientas de especialización automática de código está enfocado a la construcción de herramientas monolíticas, donde se priman la automatización completa y la eficiencia frente a ...[+]


[EN] The state of the art in the design of automated program specialization tools is populated with monolithic tools, where usability and debugging of the optimizations is traded for efficiency and full automation. The ...[+]


[CA] L’estat de l’art en el disseny d’eines d’especialització automàtica de codi està enfocat a la construcció d’eines monolítiques, on es prevalen l’automatització completa i l’eficiència enfront de la usabilitat i la ...[+]
Subjects: Métodos formales , Optimización automática de programas , Evaluación parcial , Comprobación de modelos , Maude , Formal methods , Automated program optimization , Partial evaluation , Model-checking
Copyrigths: Reconocimiento - No comercial - Compartir igual (by-nc-sa)
Publisher:
Universitat Politècnica de València
degree: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Type: Proyecto/Trabajo fin de carrera/grado

This item appears in the following Collection(s)

Show full item record