Spelling suggestions: "subject:"evaluación parcial offline"" "subject:"valuación parcial offline""
1 |
Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y AplicacionesArroyo Delgado, Gustavo 30 October 2012 (has links)
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]. / Arroyo Delgado, G. (2012). Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17655 / Palancia
|
2 |
Una aproximación offline a la evaluación parcial dirigida por narrowingRamos Díaz, J. Guadalupe 06 May 2008 (has links)
La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes declarativos (lógico) funcionales como Haskell, Curry o Toy.
Los evaluadores parciales se clasifican en dos grandes categorías: online y offline, de acuerdo al momento temporal en que se consideran los aspectos de terminación del proceso de especialización. Los evaluadores parciales online son usualmente más precisos ya que tienen más información disponible. Los evaluadores parciales offline proceden comúnmente en dos etapas; la primera etapa procesa un programa (e.g., para identificar aquellas llamadas a función que se pueden desplegar sin riesgo de no terminación) e incluye anotaciones para guiar las computaciones parciales; entonces, una segunda etapa, la de evaluación parcial propiamente dicha, sólo tiene que obedecer las anotaciones y por tanto el especializador es mucho más rápido que en la aproximación online.
En esta tesis se presenta un nuevo esquema de evaluación parcial dirigido por narrowing, más eficiente y que asegura la terminación siguiendo el estilo offline. Para ello, identificamos una caracterización de programas cuasi-terminantes a los que llamamos "no crecientes". En tales programas, las computaciones por narrowing necesario presentan sólo un conjunto finito de términos diferentes (módulo renombramiento de variables). La propiedad de la cuasi-terminación es importante toda vez que su presencia es regularmente una condición suficiente para la terminación del proceso de especialización.
Sin embargo, la clase de programas cuasi-terminantes es muy restrictiva, por lo que introducimos un algoritmo que acepta programas inductivamente secuenciales---una clase mucho más amplia sobre la que está definido el narrowing necesario---y anota aquellas partes que violan la caracterización de programas no crecientes. Para procesar de mane / Ramos Díaz, JG. (2007). Una aproximación offline a la evaluación parcial dirigida por narrowing [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1888 / Palancia
|
Page generated in 0.0493 seconds