991 resultados para Embaràs múltiple
Resumo:
En este trabajo se analiza la relación entre arte y política a través de la poética del artista Edgardo Antonio Vigo en una época convulsionada en términos artísticos y políticos: las décadas de 1960 y 1970. Más que a un nexo en el que el contexto político determina y encuadra la politicidad del arte, se apela a una interpretación en la que esa vinculación es múltiple, compleja e inestable, lo que configura un entramado. Para ello se analizan tres zonas de su obra -la poesía visual, las acciones en el espacio público y la utilización del lenguaje judicial-administrativo en sus producciones-, pues se considera que es posible, a partir de allí, interpretar aspectos centrales de su poética política
Resumo:
En la actualidad, la agricultura familiar ha tomado visibilidad tanto en trabajos académicos como en el diseño de políticas públicas. Si bien se reconocen características propias que la diferencian de la producción empresarial, se presentan de acuerdo al tipo de producción y el territorio donde se inserta, particularidades que permiten definirlas y analizarlas. En el caso de la producción hortiflorícola familiar que abastece de productos frescos a los grandes centros urbanos, la especificidad del sistema productivo intensivo en trabajo, las tecnologías utilizadas, las características de los productos obtenidos, su comercialización y localización, difiere sustancialmente de otros sistemas productivos del país. De acuerdo a diagnósticos elaborados por INTA (2004) y otros trabajos cualitativos en el periurbano bonaerense, las dificultades que afrontan estas unidades familiares son de carácter múltiple. Entre las más importantes se mencionan la subordinación en la cadena comercial y acceso al financiamiento. Este trabajo busca dar cuenta de un proyecto de desarrollo territorial en la región periurbana del Gran La Plata, en el cual se aborda desde una perspectiva integral aspectos de financiamiento y comercialización a productores familiares. El mismo se focaliza en 30 productores familiares de La Plata y Berazategui pertenecientes al proyecto "Banco Social" implementado desde la Facultad de Ciencias Agrarias y Forestales de la UNLP; avanzando en un análisis respecto al acceso al financiamiento y las estrategias comerciales llevadas por los productores familiares bajo estudio
Resumo:
Este trabajo busca introducir al lector en una problemática tan antigua como actual: el de los crímenes sexuales, proponiéndo un acercamiento múltiple desde la visión jurídica y la social, desde las víctimas y su familia. Nos hemos concentrado especialmente en tratar de observar la violencia sexual jurídica que define a la víctima según su sexo, "cualidad moral" y el acto que se cometiera sobre ella, que le niega el derecho a reclamar, adoctrinando en el silencio como mejor opción que la denuncia. También nos propusimos mostrar como hay personas que desafiando este "disciplinamiento" busca el castigo del o los culpables del delito sabiendo sin embargo que existe un precio muy alto que pagar por ello: la deshonra pública de una hija o hijo
Resumo:
En este trabajo se intenta iniciar una exploración en el estatuto de las interfaces entre los niveles de descripción lingüísticos, particularmente léxico, morfosintaxis y el que provisoriamente llamaremos semántica - pragmática. Partimos de observar que en dos modelos teóricos se pone aparentemente en cuestión la necesidad de la Forma Lógica como interfaz entre las propiedades lexicales articuladas en la sintaxis y la interpretación completa de una expresión. Nos referimos por una parte al Programa Minimalista iniciado por Chomsky (1995), que tiene como objetivo central reducir a lo indispensable los elementos y operaciones que intervienen en la derivación de una expresión lo cual tiene la consecuencia de que se torna deseable que queden como niveles de representación solo aquellos que resulten indispensables. Con los conceptos de Materialización o Transferencia Múltiple (Uriagereka, 1999) y derivación por fases (Chomsky, 2008 y Gallego, 2010) la propuesta del nivel de FL se vuelve prescindible. Por otra parte, en la Teoría de la Relevancia de Sperber y Wilson (1986) y trabajos subsiguientes, si bien en principio se afirma que la interpretación semántico- pragmática se deriva de una representación llamada Forma Lógica, esta no aparece claramente definida y no equivale a la concepción corriente que se acepta en la Gramática Generativa (May, 1985). Además, hay factores importantes en la TR que hacen surgir ideas distintas; por ejemplo, que los procesos de interpretación se dan "en paralelo" a la derivación sintáctica, que la postulación de las Categorías Procedimentales como "instrucciones de procesamiento", propuesta de Leonetti y Escandell Vidal (2004), lleva a suponer que habría elementos en la derivación sintáctica que desencadenan procesos de interpretación antes de que la derivación llegue a la interfaz de FL y, por último, que varias investigaciones en progreso (Escandell-Vidal, 2002, Leonetti y Escandell Vidal, 2006, Leonetti, 2007muestran que la interpretación completa de un enunciado es inducida por estructuras sintácticas específicas, no por factores contextuales como proponen ciertas corrientes de la pragmática. Teniendo en cuenta que de acuerdo a Chomsky (1998 y 2008) algunas CCFF son núcleos de fase y que una fase "agotada" se transfiere inmediatamente para reducir el trabajo computacional subsiguiente, la transferencia de cada fase permitiría iniciar un proceso de interpretación de "partes" de la expresión, lo cual lleva a suponer que la interfaz FL no llega a derivarse en forma completa, por lo tanto este nivel de interfaz resultaría superfluo
Resumo:
Edipo en Colono presenta, por un lado, una pólis que evoca el tiempo mítico junto a la persecución del destino humano; por el otro, una Atenas que se funda sobre la ley de la justicia. El llega a las fronteras de Atenas acompañado por Antígona, la única de los hijos consciente de la inocencia del padre. Edipo se declara átimos, sufre de atimía, situación límite e ignominia para los griegos, condición jurídica y moral de aquellos que han sido excluidos de la comunidad. Sobre su cuerpo, vivo o muerto, se juega la soberanía de Tebas: aquél que será capaz de gobernar lo ingobernable, de conducir la múltiple naturaleza humana a la unidad. Edipo representa la alteridad, está entre la díke mítica y la ley de la pólis, emergentes del agón con los otros personajes y el coro. Sobre su competencia y cooperación para amonestar dicha pólis trata este trabajo
Resumo:
Se presenta una investigación desarrollado entre los años 2010-2012, en el marco de una Beca de Iniciación en Investigación, otorgada por la U.N.L.P. La misma se vincula con el problema de la transición entre los estudios universitarios y el ejercicio profesional. Se inscribe dentro de los trabajos relativos a la importancia de las representaciones sociales como factores que inciden en el desempeño de actividades específicas. Se trata en este caso de la indagación de las relaciones entre las representaciones sobre el rol profesional de graduados de la carrera de Licenciatura en Psicología y su inserción y desempeño laboral. El marco teórico corresponde a la Psicología Social y a las Teorías de la Orientación. En cuanto a la metodología, se trata de un diseño exploratorio descriptivo transeccional, basado en la concepción denominada 'triangulación' de tipo 'múltiple', que permite combinar en una misma investigación, diferentes estrategias, perspectivas teóricas y fuentes de datos; no obstante, se han priorizado técnicas cualitativas de análisis de datos. Finalmente, se hacen consideraciones acerca de las representaciones sociales en torno a la actuación profesional preferentemente en el campo de la clínica en consonancia con la formación recibida, así como a los problemas derivados de ambas situaciones respecto de otros campos de trabajo
Resumo:
La prospectiva, es un conjunto de análisis con el fin de explorar o predecir el futuro; “se puede concebir como una realización múltiple” (Jouvenel, 1968) y “depende de la acción del hombre” (Godet, 2004); por esa razón, el hombre puede construir el futuro mejor, para lo cual debe tomar las decisiones correctas en el momento apropiado. En ordenamiento territorial, la prospectiva, constituye una fase intermedia, entre el diagnóstico y la propuesta, y se refiere a la predicción del futuro, mediante dos vías: la proyección de la tendencia y la construcción de escenarios o imágenes futuras; se denomina escenario, a la descripción de una situación territorial futura y el encadenamiento coherente de sucesos que, partiendo de la situación actual, llega a la futura (Gómez Orea, 2008); pueden identificarse múltiples escenarios por la combinación de variables; no obstante, esta tesis se centra en el diseño de tres: el tendencial, el óptimo por analogías con otros territorios a los que se desee aspirar, y uno intermedio entre los anteriores, que parte del consenso de la mayoría de voluntades políticas y ciudadanas. Existen escasas experiencias metodológicas, y en especial, aplicables a los planes de ordenamiento territorial de Centroamérica. En la mayoría de casos estudiados, se identifica la participación como herramienta básica en el diseño de los escenarios; un modelo exclusivamente técnico está abocado al fracaso. En la tesis se diseña una metodología para elaborar la fase de prospectiva en los planes de ordenamiento territorial de Centroamérica; se entiende como un metamodelo, es decir, un "modelo general formado por submodelos específicos"; además del modelo general, se diseñan los submodelos: demográfico, ambiental, poblamiento y económico; para la elaboración de los mismos se usan herramientas; algunas han sido definidas por investigadores y otras se diseñan en este trabajo. Se establece un orden de prelación para el desarrollo de los submodelos; no se recomienda la alteración del mismo, pues el resultado será distinto y erróneo. Se inicia con el submodelo demográfico; se analizan cuatro variables: población total, población distribuida en municipios, población urbana y rural, y población por edades y sexos. Se propone que el cálculo de la población total se determine por métodos clásicos, tasas de crecimiento o cohortes. Posteriormente se realiza la distribución en municipios, urbana‐rural y en los asentamientos; en el escenario tendencial se proyecta por cohortes o tasas de crecimiento, y en el óptimo e intermedio, se considera un análisis de los limitantes al desarrollo urbano, priorizando la distribución de unos municipios y núcleos con respecto a otros. Con la proyección demográfica se desarrolla el submodelo ambiental; se consideran las variables: usos del suelo, unidades ambientales con los usos del suelo predominantes, áreas naturales protegidas, y áreas de amenazas naturales; estas últimas son sumamente importantes en el territorio centroamericano, dada la vulnerabilidad existente; para la proyección de los usos del suelo predominantes se diseña una herramienta donde se establecen los usos del suelo según unidades ambientales en diferentes escenarios, aplicando imágenes multitemporales y la capacidad de acogida del territorio. Una vez definidos los anteriores, se proyecta el submodelo de poblamiento; se proponen: el tamaño, la clasificación, la superficie, la diferenciación y agrupación de los asentamientos; se define el sistema de asentamientos a partir de las variables demográficas y ambientales; para ello se aplica un análisis multivariable‐multicriterio donde se establece la jerarquía de los núcleos de población, y posteriormente se establece la superficie que ocuparan y su forma. A continuación, se propone la prospectiva del submodelo económico, en cuanto a las variables: población económicamente activa (PEA), producción, empleo, desglose por sectores económicos, y la zonificación de suelos de desarrollo económico; luego se añade la prospectiva del submodelo de infraestructuras. Finalmente, se procede a la representación cartográfica, mediante el uso de herramientas SIG (Sistemas de Información Geográfica); para la representación de los escenarios se diseñan mapas, que sean fácilmente comprensibles por los líderes políticos, actores socioeconómicos y por la ciudadanía ("clientes" finales del plan). La metodología de investigación se ha basado en ciclos repetitivos de observación de la realidad en trabajos profesionales, elaboración del modelo y submodelos y verificación posterior mediante su aplicación a casos reales. En consecuencia los submodelos anteriores se han ido desarrollando y verificando en la elaboración de numerosos planes en Centroamérica, de los cuales en la tesis se exponen los dos más expresivos: El Plan de Desarrollo Territorial de la Región de San Miguel, en El Salvador y El Plan de Ordenamiento Territorial de la Región del Valle del Lean, Honduras. El modelo no es aplicable íntegramente a otros territorios; se ha diseñado considerando las características centroamericanas: fuerte crecimiento poblacional, tenencia de la tierra, crecimiento lineal en las principales carreteras, cultivos de autoconsumo (granos básicos) en laderas y montañas, vulnerabilidad ante las amenazas naturales, bajo nivel de tecnificación, entre otras. El modelo posibilita realizar análisis de sensibilidad y el diseño de múltiples escenarios por combinación de variables, dado que se plantean ecuaciones y algoritmos que usan diferentes hipótesis; las limitantes son el tiempo y la disponibilidad de recursos, algo escaso en la redacción de los planes de ordenamiento territorial. Finalmente, la tesis constituye una aportación a los planificadores; espero que ello contribuya a profundizar en este interesante campo de actividad.
Resumo:
Fundamentos de la Tesis La presente Tesis investiga acerca de las primeras arquitecturas que surgieron a lo largo de La Costa del Sol con motivo de la apertura al exterior de la España turística de los años cincuenta, y cómo su implantación iba a suponer, a lo largo de la segunda mitad del siglo, la paulatina aparición de modos de vida y desarrollos urbanos que pueden ser considerados hoy día como contemporáneos. El Pacto Americano de 1953, pese a su origen militar, supuso en España el surgimiento a su vez de contraprestaciones económicas y de relación que permitirían salir al país de la autarquía y el inicio de un proceso de homologación con el entorno occidental de consecuencias imprevisibles. La Costa del Sol nace de esta manera como fenómeno de explotación turística de un territorio de paisaje amable y de buen clima. La investigación profundiza en el hecho turístico y en sus derivaciones antropológicas, sociales, económicas y culturales como resultado del intercambio de poblaciones autóctonas y lejanas en un lugar donde se relacionan diferentes modos de vida. En este sentido, la visita de Dalí a Torremolinos en 1930 permite introducir en la investigación conceptos relacionados con el azar como integrador de errores, deformaciones o transformaciones no previstas. Estas primeras arquitecturas de llamativo corte moderno aparecieron durante la década entre 1959 y 1969, en el entorno virgen preexistente, comprendido entre la playa y la montaña, proporcionando densidad y singularidad con sus diseños, y alentando un carácter de multiplicidad desde sus propios modelos, lo que favorecería un fenómeno interactivo entre las distintas soluciones. Visto desde la capital del Estado se reconocería un singular territorio supra-provincial entre el Cabo de Gata y la Punta de Tarifa. En dicho territorio, una serie de pequeñas poblaciones se enlazarían a través del cordón litoral gracias a la carretera nacional 340. Esta primera arquitectura comercial privada y de calidad surgió también gracias a la conexión del aeropuerto de Málaga con el turismo internacional. Gracias a esta conexión se exhibirán rasgos pertenecientes a la cultura arquitectónica de la época, a lo moderno, como reclamo, fundamentalmente edifi cios exóticos que mostrarán rasgos de progreso en una periferia empobrecida y rural. Metodología empleada • Búsqueda de fuentes primarias como documentación original de los diferentes proyectos y entrevistas con arquitectos protagonistas de esa época. • Búsqueda, catalogación y ordenación de los diferentes planes de ordenación de la Costa del Sol que se hicieron durante la década de estudio así como un análisis de sus propuestas y consecuencias. • Estudio de casos relativos a los dos modelos de actuaciones arquitectónicas predominantes en el periodo de estudio: los hoteles y los complejos de apartamentos. • Establecimiento de un planteamiento gradual por escalas, trabajando como “múltiplos” y permitiendo generar lazos de autosimilitud. • Análisis de la relación de estos proyectos con el paisaje circundante, con lo urbano, existiese o no, y con el interior de las células de apartamentos. Aportaciones de la Tesis El fenómeno estudiado ha permitido atisbar otra escala más, que atiende a la aparición de un nuevo ente urbano. Para ello las teorías sobre la ciudad vertidas durante los años 30 por F. Ll. Wright, junto con la visión reveladora de Reyner Banham sobre Los Ángeles a principios de los 70 o de Rem Koolhaas sobre la ciudad genérica como apoteosis del concepto de elección múltiple, permiten establecer parámetros que enmarcan el estudio del nuevo ente urbano de difícil legibilidad que se funda en la Costa del Sol durante la década de los 60. La investigación concluye acerca del papel de estas primeras arquitecturas del turismo dentro del proceso dinámico, imparable y crecedero que se inició durante la época de estudio. Un fenómeno que ha dado lugar a un desarrollo suburbial y a-jerárquico, sin centro concreto, donde se dan lugar multitud de relaciones en continua adaptación que permiten defi nirlo como una nueva ciudad. En este proceso estas primeras arquitecturas surgieron como objetos exóticos por su modernidad desafi ante. Esta cualidad convirtió a estos edifi cios en verdaderos atractores de actividad, embajadores de nuevos modos de vida contemporáneos. Por lo que en sus entornos próximos a lo largo de este territorio se provocó la cristalización paulatina de un hecho urbano. Su evolución posterior ha derivado en un progresivo relleno de huecos y vacíos. De manera no planifi cada, azarosa e incluso inesperada, las primeras arquitecturas, que servían a la vida a medias que supone el hecho turístico, han derivado en una paulatina ciudad completa, exenta de jerarquías. Conclusión final La arquitectura se hace más real que nunca como algo tangible en el fl uir de la ciudad. El proceso imparable que se inició en la Costa del Sol sólo puede comprenderse desde sus arquitecturas, que acogen momentos y lugares. En ellas se entremezclan signos, cultura, modos de vida, estilo, construcción, economía y vida contemporánea que han ido colonizando poco a poco este territorio en un proceso irreversible como en tantos otros lugares del planeta. Este proceso de desvelamiento ha constituido el motivo principal de esta Tesis
Resumo:
En 1997, al abrir la primera época de Urban, Fernando de Terán se hizo eco de una vieja leyenda asociada a la reconstrucción de Londres tras el Gran Incendio de 1666 para vaticinar buen augurio a un urbanismo renaciente. Según ésta, Christopher Wren encontró un fragmento de lápida con la palabra ‘resurgam’ (‘resurgiré’) entre los escombros de San Pablo; interpretándolo como una señal, el arquitecto hizo labrar esta palabra bajo un fénix en el pórtico sur de la nueva catedral. Esta imagen permitía a Terán ilustrar metafóricamente la situación del planeamiento en la encrucijada de un momento histórico en el que confluían un nuevo panorama disciplinar a nivel internacional y la salida de la crisis posterior a 1992 en España: superando un largo período de deslegitimación pública y crítica desde el interior de la profesión, el planeamiento volvía en ese momento a resurgir como técnica y discurso necesario ante el despliegue de formas más complejas de desarrollo territorial y la evidente incapacidad —y miopía— de los postulados de una ‘arquitectura sin urbanismo’ para hacer frente a las nuevas realidades socioespaciales. Como el fénix londinense, la planificación volvía a resurgir de sus cenizas para reactivar la reflexión sobre nuestros futuros urbanos. Este renacimiento debía ser necesariamente múltiple y experimental, el fruto a un tiempo maduro y joven de una larga tradición que ahora germinaba en cien —si no mil— nuevas escuelas y estilos
Resumo:
El monte “Cabeza de Hierro”, masa natural de pino silvestre, es un ejemplo de gestión forestal sostenible y de uso múltiple, y reúne ciertas particularidades que hacen muy interesante su caso. Monte privado, ha sido objeto de aprovechamientos madereros al menos desde su adquisición por sus actuales propietarios en 1840. Está ordenado desde 1957. La madera obtenida, de gran calidad, es transformada en su mayor parte en un aserradero cercano de los mismos propietarios. Generador de un considerable número de puestos de trabajo, ha tenido gran importancia en la economía local. Además de la producción de madera ha cumplido y cumple muy eficazmente numerosas funciones ecológicas y ambientales, entre las que podemos destacar la regulación del ciclo hidrológico y la protección frente a la erosión, la generación de un paisaje de gran belleza y el mantenimiento de la biodiversidad; en este sentido destacamos la presencia de una colonia nidificante de buitre negro de reconocida importancia mundial. Fue el primer caso de aplicación en España de los métodos de ordenación de tramo móvil y selvícola. En la tercera revisión de su ordenación, recientemente aprobada, se propone su gestión mediante entresaca regularizada, con cortas por bosquetes, con lo que se pretende mantener la actual estructura de masa irregular por cantones. A continuación se resumen las principales características del monte y las principales propuestas de gestión de su tercera revisión.
Resumo:
El objetivo de este trabajo fue determinar y validar con datos independientes las ecuaciones de predicción obtenidas para estimar in vivo la composición corporal de conejos en crecimiento utilizando la técnica de impedancia bioeléctrica (BIA). Las ecuaciones se calcularon mediante un análisis de regresión múltiple a partir de las medidas de impedancia presentadas en el trabajo anterior (Saiz et al., 2011) y de otras variables independientes que fueron incluidas en el modelo, tras hacer un análisis de selección de variables, como la edad, el peso y la longitud del animal. Los coeficientes de determinación (R2) de las ecuaciones para estimar la humedad (g), la proteína (g), la grasa (g), las cenizas (g) y la energía (MJ) fueron: 0,99, 0,99, 0,97, 0,98 y 0,99, y los errores medios de predicción relativos (EMPR): 2,24, 5,99, 16,3, 8,56 y 7,81%, respectivamente. El R2 y EMPR para estimar el porcentaje de humedad corporal fueron de 0,85 y 1,98%, respectivamente. Para predecir los contenidos, expresados sobre materia seca (MS), de proteína (%), grasa (%), cenizas (%) y energía (kJ/100g), el R2 obtenido fue 0,79, 0,83, 0,71 y 0,86, respectivamente y el EMPR 4,78, 12,2, 8,39 y 3,26%, respectivamente. La reactancia estuvo negativamente correlacionada con el contenido en humedad, cenizas y proteína bruta (r=-0,32, Pmenor que0,0001; r=-0,20, Pmenor que0,05; r=-0,26, Pmenor que0,01) pero positivamente con el de grasa y energía (r=0,23 y r=0,24; Pmenor que0,01). Al contrario ocurrió con la resistencia, que estuvo positivamente correlacionada con el contenido en humedad, cenizas y proteína bruta (r=0,31, Pmenor que0,001; r=0,28, Pmenor que0,001; r=0,37, Pmenor que0,0001) pero negativamente con el de grasa y energía (r=-0,36 y r=-0,35; Pmenor que0,0001). Así mismo, la edad del animal, estuvo negativamente correlacionada con el contenido en humedad, proteína y cenizas (r=-0,79, r=-0,67 y r=-0,80; Pmenor que0,0001) y positivamente con la grasa y energía (r=0,78 y r=0,81; Pmenor que0,0001). Se puede considerar la técnica BIA como una técnica útil para estimar in vivo la composición corporal de los conejos en crecimiento de 25 a 77 días de edad.
Resumo:
El artículo presenta los resultados de un estudio de caso del proyecto en curso para construir una carretera del peaje entre Dakar y Diamniadio. El proyecto forma parte de la estrategia para la reducción de la pobreza de Senegal y en 2009 fue reconocida como buena práctica por el Banco Mundial. A pesar de este reconocimiento institucional, la carretera implica el desalojo de más de 30.000 personas y por lo tanto la destrucción de sus organizaciones sociales de apoyo mutuo. Los gobiernos africanos tienden a invertir sus escasos recursos en las principales zonas urbanas. Intentan de esta manera « conectarlas con el espacio global del negocio y de flujos financieros ». La gente local se ve forzada a irse, en lo que supone una agresión múltiple: no se beneficiarán en absoluto de las inversiones y de la revalorización del precio del suelo; pierden sus vínculos con la ciudad en una localización central. Además en el prooceso se rompen los movimientos de base, pues realojarán a la gente en diversos puntos lejanos de Dakar. En este contexto de la alta vulnerabilidad, en el cual las autoridades no tienen en cuenta a los habitantes más desfavorecidos, un grupo de ciudadanos se organizó para reclamar sus derechos, intentando evitar los desalojos. La investigación analiza este caso aplicando el efoque de desarrollo a escala humana en un proceso participativo. Los resultados demuestran que existen alternativas a partir de procesos locales que permiten satisfacer de una manera sinérgica las necesidades humanas del conjunto. Se puede haccer frente a la exclusión social y a la vulnerabilidad a través de un desarrollo endógeno. Si las instituciones se implican en el proceso podrían a su vez aumentar su legitimidad.
Resumo:
We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By(language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be able to develop different extensions mostly separately. At the same time, the sources and targets for the extensions are modular languages, i.e., such extensions may take as input sepárate pieces of code and also produce sepárate pieces of code. Dealing with this double requirement involves interesting challenges to ensure that modularity is not broken: first, combinations of extensions (as if they were a single extensión) must be given a precise meaning. Also, the sepárate translation of múltiple sources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argüe that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.
Resumo:
Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. We study the múltiple specialization of logic programs based on abstract interpretation. This involves in principie, and based on information from global analysis, generating several versions of a program predicate for different uses of such predicate, optimizing these versions, and, finally, producing a new, "multiply specialized" program. While múltiple specialization has received theoretical attention, little previous evidence exists on its practicality. In this paper we report on the incorporation of múltiple specialization in a parallelizing compiler and quantify its effects. A novel approach to the design and implementation of the specialization system is proposed. The resulting implementation techniques result in identical specializations to those of the best previously proposed techniques but require little or no modification of some existing abstract interpreters. Our results show that, using the proposed techniques, the resulting "abstract múltiple specialization" is indeed a relevant technique in practice. In particular, in the parallelizing compiler application, a good number of run-time tests are eliminated and invariants extracted automatically from loops, resulting generally in lower overheads and in several cases in increased speedups.
Resumo:
Modeling the evolution of the state of program memory during program execution is critical to many parallehzation techniques. Current memory analysis techniques either provide very accurate information but run prohibitively slowly or produce very conservative results. An approach based on abstract interpretation is presented for analyzing programs at compile time, which can accurately determine many important program properties such as aliasing, logical data structures and shape. These properties are known to be critical for transforming a single threaded program into a versión that can be run on múltiple execution units in parallel. The analysis is shown to be of polynomial complexity in the size of the memory heap. Experimental results for benchmarks in the Jolden suite are given. These results show that in practice the analysis method is efflcient and is capable of accurately determining shape information in programs that créate and manipúlate complex data structures.