- -

Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones

Mostrar el registro sencillo del ítem

Ficheros en el ítem

dc.contributor.advisor Vidal Oriola, Germán Francisco es_ES
dc.contributor.advisor Ramos Díaz, J Guadalupe es_ES
dc.contributor.author Arroyo Delgado, Gustavo es_ES
dc.date.accessioned 2012-10-30T09:19:39Z
dc.date.available 2012-10-30T09:19:39Z
dc.date.created 2012-10-25T08:00:00Z es_ES
dc.date.issued 2012-10-30T09:19:34Z es_ES
dc.identifier.uri http://hdl.handle.net/10251/17655
dc.description.abstract La evaluación parcial (EP) de programas es una técnica formal para la especialización y optimización de programas. Un evaluador parcial toma un programa y sólo una parte de sus datos de entrada (los llamados datos estáticos) e intenta llevar a cabo todas las computaciones que sean posibles a partir de tales datos. El evaluador parcial devuelve un programa nuevo, denominado programa residual el cual se ejecuta generalmente de manera más e ciente que el programa original, ya que las computaciones que dependen de los datos estáticos se han realizado en la fase de evaluación parcial de una vez y para siempre [JGS93]. La evaluación parcial es una técnica de optimización de programas basada en semántica la cual ha sido investigada dentro de diferentes paradigmas de programación y aplicada a una amplia variedad de lenguajes. También es conocida como una técnica de transformación de programas fuente-a-fuente para especializar programas con respecto a una parte de sus datos de entrada (por ello también es conocida como especialización de programas). La evaluación parcial ha sido intensamente aplicada en el área de la programación funcional [CD93, JGS93, Tur86] y en programaci ón lógica [Gal93, Kom82b, LS91, PP94], donde ésta es normalmente conocida como deducción parcial. También en lenguajes imperativos como C en [TBC+98], o aplicada a un subconjunto importante de C en [And92] donde reportan la primera implementación autoaplicable de evaluación parcial para un lenguaje imperativo. Y en lenguajes formales como Scheme en [Jør92a, Jør92b] donde generan compiladores a partir de intérpretes. Cuando tenemos un programa sólo con algunos de sus datos de entrada conocidos no podemos ejecutar el programa, sin embargo podemos optimizar el programa computando respuestas tanto como sea posible. La evaluación parcial es una técnica que permite la ejecución parcial de un programa [MS97]. es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.source Riunet es_ES
dc.subject Evaluación parcial offline es_ES
dc.subject Grafos size-change es_ES
dc.subject Evaluación parcial terminante es_ES
dc.subject Binding time analysis es_ES
dc.subject Narrowing es_ES
dc.subject Defunctionalization es_ES
dc.subject Especialización de programas es_ES
dc.subject Especialización de intérpretes es_ES
dc.subject Compilación es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones
dc.type Tesis doctoral es_ES
dc.identifier.doi 10.4995/Thesis/10251/17655 es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Arroyo Delgado, G. (2012). Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17655 es_ES
dc.description.accrualMethod Palancia es_ES
dc.type.version info:eu-repo/semantics/acceptedVersion es_ES
dc.relation.tesis 3967 es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem