El problema de la integraci on de la programaci on l ogica y funcional est a considerado como uno de los m as importantes en el area de investigaci on sobre programaci on declarativa. Para que los lenguajes declarativos sean utiles y puedan utilizarse en aplicaciones reales, es necesario que el grado de e ciencia de su ejecuci on se aproxime al de los lenguajes imperativos, tal y como se ha conseguido con el lenguaje Prolog. Para ello, es imprescindible el desarrollo de herramientas potentes para el an alisis y transformaci on de los programas, capaces de optimizar las implementaciones realizadas. En general, es deseable sustituir las aproximaciones ad-hoc por tratamientos m as sistem aticos para los problemas de an alisis y transformaci on de programas. Puesto que la sem antica de los lenguajes l ogico{funcionales ha sido objeto de numerosos estudios y est a matem aticamente bien formalizada, surge el inter es por el desarrollo de m etodos y t ecnicas formales para la formulaci on de optimizaciones, basadas en la sem antica, que preserven las propiedades computacionales del programa. Esta tesis se centra en el desarrollo de tales t ecnicas, adopt andose una aproximaci on formal basada en la sem antica (operacional) del lenguaje para desarrollar y analizar, en un contexto uni cado, las diferentes optimizaciones. En la primera parte, desarrollamos un marco para el an alisis est atico de programas l ogico{funcionales, basado en la idea de construir aproximaciones correctas de la sem antica operacional del programa. Formalizamos un esquema de an alisis simple, uniforme y exible, que permite estudiar distintos tipos de propiedades (relacionadas con el conjunto de respuestas computadas por el programa) de manera correcta y f acilmente implementable. El esquema es independiente de la estrategia de narrowing usada en la formulaci on del mecanismo operacional del lenguaje, lo que contribuye a dar generalidad al mismo. Las t ecnicas de evaluaci on parcial son, de entre la gran variedad de t ecnicas existentes para la transformaci on de programas, las que mayor inter es han despertado en las dos ultimas d ecadas. Su utilidad no reside unicamente en la posibilidad de especializar programas, sino que sus aplicaciones se extienden tambi en a la generaci on autom atica de compiladores o a la optimizaci on de c odigo, por citar s olo las m as importantes. En la segunda parte de esta tesis mostramos que, en el contexto de los len- i guajes l ogico{funcionales, la especializaci on de programas se puede basar directamente en el mecanismo operacional de narrowing que, debido a la propagaci on bidireccional de par ametros realizada a trav es del procedimiento de uni caci on, es capaz de producir optimizaciones apreciables. Esta visi on uni cada de ejecuci on y especializaci on nos permite explotar las contribuciones de ambos campos, funcional y l ogico, y desarrollar un esquema simple y potente para mejorar el programa original respecto a su capacidad para computar respuestas. Tambi en mostramos que, debido a la componente funcional, son posibles otras optimizaciones (como la inclusi on de pasos de simpli - caci on deterministas) con el bene cio a~nadido de que, en nuestro esquema, todas las optimizaciones quedan `compiladas' en el programa transformado. Formalizamos los conceptos b asicos para la evaluaci on parcial de programas l ogico{funcionales y demostramos la correcci on y completitud de la transformaci on. El esquema presentado en este trabajo constituye la primera aproximaci on totalmente autom atica, correcta y nita para la evaluaci on parcial de programas l ogico{funcionales. / Vidal Oriola, GF. (1996). Análisis semántico y transformación de programas lógico-funcionales [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/55796

El tema de la “sublimación del amor”, ampliamente debatido en las estéticas de Kant y Hegel, ha sido ilustrado en la poesía hispanoamericana colonial con sendos poemas de Diego Dávalos y Figueroa, Sor Juana Inés de la Cruz, y Juan del Valle y Caviedes. A partir de su examen semánticotextual, en este artículo se determina los alcances de las respectivas poéticas en el marco de dicho enfrentamiento teórico. / The “love’s sublimation” subject was under debate in the Kant and Hegel aesthetic doctrine. This controversy was also illustrated by the colonial Hispanic-American poetry of Diego Dávalos y Figueroa, Sor Juana Inés de la Cruz and Juan del Valle y Caviedes. This article looks into the semantic structure of tree poems in order to determine their poetic scopes in the frame of the Kant-Hegel aesthetic discussion.

<p>Resumen</p><p>El tema del presente estudio se ubica dentro de la traductología y trata en particular los fenómenos de sobretraducción (ST) y infratraducción (IT), términos que significan una adición de información (ST) y una reducción de la información original en forma de una generalización del texto fuente (IT). Estos dos fenómenos pueden surgir por falta de isomorfismo entre los idiomas implicados en el proceso de traducción, cuando la idiosincrasia divergente de dos idiomas obliga al traductor a usar diferentes estrategias para poder expresar con la mayor equivalencia posible el mensaje del TF, en el texto meta (TM). El español, al igual que los idiomas románicas en general, se caracteriza por estructuras léxicas, dicho en terminos muy generales, menos complejas que los idiomas germánicos como el sueco y esta diferencia es uno de los aspectos que complica el trabajo del traductor. Siempre, al traducir un texto a cualquier idioma, ocurre un cambio y una pérdida inevitable del significado original, en uno o varios de los niveles sintáctico, semántico y pragmático de estructura, porque no existe isomorfismo absoluto entre dos idiomas. Por lo tanto una generalización es lo esperado de cada traducción. El objetivo de este estudio bidireccional es averiguar si dichas estructuras diferentes de los dos sistemas lingüísticos afectan la tendencia a ST o IT en las respectivas traducciones y hemos llevado a cabo el análisis mediante un corpus que consiste en las 30 primeras páginas de las dos obras <em>La casa de los espíritus</em> de Isabel Allende (1982) y <em>Simon och ekarna</em> de Marianne Fredriksson (1985), y sus respectivas traducciones. El resultado muestra, de acuerdo con la hipótesis, una tendencia a una mayor cantidad de ST en la traducción del español al sueco, y, de IT en la traducción del sueco al español.</p>

Resumen El tema del presente estudio se ubica dentro de la traductología y trata en particular los fenómenos de sobretraducción (ST) y infratraducción (IT), términos que significan una adición de información (ST) y una reducción de la información original en forma de una generalización del texto fuente (IT). Estos dos fenómenos pueden surgir por falta de isomorfismo entre los idiomas implicados en el proceso de traducción, cuando la idiosincrasia divergente de dos idiomas obliga al traductor a usar diferentes estrategias para poder expresar con la mayor equivalencia posible el mensaje del TF, en el texto meta (TM). El español, al igual que los idiomas románicas en general, se caracteriza por estructuras léxicas, dicho en terminos muy generales, menos complejas que los idiomas germánicos como el sueco y esta diferencia es uno de los aspectos que complica el trabajo del traductor. Siempre, al traducir un texto a cualquier idioma, ocurre un cambio y una pérdida inevitable del significado original, en uno o varios de los niveles sintáctico, semántico y pragmático de estructura, porque no existe isomorfismo absoluto entre dos idiomas. Por lo tanto una generalización es lo esperado de cada traducción. El objetivo de este estudio bidireccional es averiguar si dichas estructuras diferentes de los dos sistemas lingüísticos afectan la tendencia a ST o IT en las respectivas traducciones y hemos llevado a cabo el análisis mediante un corpus que consiste en las 30 primeras páginas de las dos obras La casa de los espíritus de Isabel Allende (1982) y Simon och ekarna de Marianne Fredriksson (1985), y sus respectivas traducciones. El resultado muestra, de acuerdo con la hipótesis, una tendencia a una mayor cantidad de ST en la traducción del español al sueco, y, de IT en la traducción del sueco al español.

En aquesta dissertació es pretén valorar l'efectivitat de la WebQuest com a eina didàctica que afavoreix el desenvolupament dels processos d'ensenyament / aprenentatge de continguts curriculars propis de l'àrea de les Ciències Socials i la Història en l'etapa deEnsenyament Secundari Obligaotira. Per a això es realitza una àmplia revisió bibliogràfica sobre la recerca en WebQuests i es presenten 3 estudis quantitatius amb 210 alumnes en tres cursos de secundària, en què s'analitzen els sus textos (estudis 1 i 2) i el seu procés de resolució de l’activitat (estudi 3). Els resultats mostren diferències significatives per a la gran majoria de variables extretes de les anàlisis, a favor de l'experiència amb WebQuests. Es conclou que encara que les anàlisis estadístiques mostren un efecte favorable de l'experiència, convindrien estudis complementaris de tipus qualitatiu que expliquessin la naturalesa d'aquestes diferències d'una manera més detallada a fi de poder valorar amb més precisió l'efectivitat d'aquesta metodologia didàctica. / En esta disertación se pretende valorar la efectividad de la WebQuest como herramienta didáctica que favorecería del desarrollo de los procesos de enseñanza/aprendizaje de contenidos curriculares propios del área de las Ciencias Sociales y la Historia en la etapa de Enseñanza Secundaria Obligatoria. Para ello se realiza una amplia revisión bibliográfica sobre la investigación en WebQuests y se presentan 3 estudios cuantitativos con 210 alumnos en tres cursos de secundaria, en los que se analizan los textos que estos producen (estudios 1 y 2) y su proceso de resolución de la actividad (estudio 3). Los resultados muestran diferencias significativas para la gran mayoría de variables extraídas de los análisis, a favor de la experiencia con WebQuests. Se concluye que aunque los análisis estadísticos muestran un efecto favorable de la experiencia, convendrían estudios complementarios de tipo cualitativo que explicasen la naturaleza de estas diferencias de una manera más pormenorizada en orden a poder valorar con mayor precisión la efectividad de esta metodología didáctica. / This study assess the effectiveness of WebQuest as teaching and learning tools that enhance: 1) learning of contents specific to the area of Social Science and History, 2) causal reasoning and critical thinking development. To that end, a comprehensive literature review on WebQuests research is carried on, and 3 quantitative studies with 210 students in three secondary education levels is conducted by analyzing the texts students produce (Studies 1 and 2) and their performance level on the activity resolution process (Study 3). Results show significant differences for the vast majority of variables which means that the experience with WebQuests could enhance: 1) Social Science and History curricular contents learning, and 2) causal reasoning and critical thinking development. Despite statistical analysis showed a favorable effect of the experience, it is concluded that further qualitative additional studies would be helpful in order to explain the nature of these differences. These studies could spell out the way these differences are working, in order to better assess WebQuests effectiveness.