IMPACTO DEL ESTRÉS ABIÓTICO SOBRE EL CULTIVO DE MANÍ: MECANISMOS FISIÓLOGICOS Y MOLECULARES IMPLICADOS EN LA ESTRATEGIA DE TOLERANCIA

El maní (Arachis hypogaea L.) es un cultivo relevante en la provincia de Córdoba ya que el 80% de la producción nacional se concentra en la región centro-sur de la provincia. El desarrollo normal y la alta productividad del cultivo muchas veces se ven afectados o interrumpidos por condiciones ambientales desfavorables entre ellos, el estrés hídrico. La obtención de plantas con mayor tolerancia no sólo aseguraría la estabilidad de los rendimientos en años de déficit hídrico, sino que permitiría extender la frontera productiva a regiones marginales. Considerando que el estrés hídrico es uno de los factores que más afecta la productividad y calidad de los cultivos y por ser el maní un cultivo regional existe escaso conocimiento sobre los mecanismos fisiológicos y moleculares involucrados en la estrategia de tolerancia a las condiciones ambientales adversas. El propósito del proyecto es contribuir al conocimiento del impacto del estrés hídrico y la rehidratación sobre plantas de maní dilucidando los mecanismos fisiológicos y moleculares implicados en las estrategias de defensa de las plantas, con el fin de seleccionar aquellos cultivares mejores adaptados a las condiciones adversas. Para ello, la metodología empleada consistirá en evaluar el crecimiento, la fijación biológica del nitrógeno y las estrategias de defensa antioxidante de cultivares de maní expuestos a estrés hídrico y posterior rehidratación.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.