Treffer: Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude ; Design and Development of an Incremental Specialisation Technique and System at Maude

[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 goal of this work is twofold. First, the core specialization scheme for multi-paradigm Maude programs is endowed with a new incremental modality that allows the key specialization components to be encapsulated at the desired granularity level to facilitate progressive refinements of the specialization. Second, the proposed incremental specialization scheme is implemented in a practical optimization tool that provides versatile and efficient Maude code specialization. The new incremental modality is orthogonal to the use of functional or system modules so that gradual specialization of whole programs is supported, making it easier to correct any faulty optimization that may result from a violation of the specialization requirements or from fixing inadequate specialization criteria. Finally, the tool will be endowed with a novel capability for test case generation that facilitates the experimental evaluation of progressive optimizations of non-trivial software tools such as the algorithmic program verifiers for CTL and LTL, allowing them to be specialized to formulae that cannot be handled by the original algorithms. TFGM ; [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 la usabilidad y la facilidad de depuración de las optimizaciones generadas. El objetivo de este trabajo es doble. En primer lugar se propone un nuevo esquema de especialización automática de programas multi-paradigma escritos en el lenguaje Maude que introduce una modalidad de especialización incremental, permitiendo así encapsular los componentes clave de la especialización al nivel de granularidad deseado y refinar progresivamente las especializaciones ...