Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.

Promoción de la cooperación en una comunidad rural: capacitación cooperativa y creación de un periódico institucional

A partir y en función de la demanda efectuada por el Consejo de Administración de la Cooperativa de Luz, Fuerza y Anexos de Los Reartes Limitada, este Proyecto de Transferencia está orientado a promocionar los principios, valores y prácticas de la cooperación en una comunidad rural del interior provincial y a establecer un vínculo entre el equipo de investigación, la cooperativa y la comunidad toda de Los Reartes que permita difundir y divulgar los resultados de las investigaciones desarrolladas por el primero y aplicarlas a las necesidades económicas y sociales de la zona de influencia de la cooperativa y la comuna de Los Reartes. La entidad demandante desarrolla su actividad en la localidad de Los Reartes, departamento Calamuchita y su devenir histórico nos dice que sus 50 años de vida han sido años de aprendizaje del accionar cooperativo por parte de una comunidad que no tenía ninguna experiencia al respecto y que debió aprender sobre la marcha, pero que no obstante pudo seguir adelante con el proyecto cooperativo y hoy continúa prestando el servicio en una población que con el tiempo ha adquirido una fisonomía bien diferente de la que tenía en 1960 cuando se constituyó la cooperativa. Los Reartes han crecido tanto desde el punto de vista económico como del demográfico y en ella se asientan constantemente nuevos pobladores estables y se levantan complejos de cabañas y casas particulares que acrecientan su potencial turístico. Gracias a ello su población estable es actualmente de 1.350 habitantes y la cooperativa cuenta con un total de 982 usuarios, contra los 46 usuarios existentes cuando inició la prestación del servicio eléctrico en 1962. Es evidente que en el plano económico el accionar de la cooperativa ha sido exitoso, pero paralelamente no ha desarrollado su función social que es tan o más importante que la económica. Además, los principios y métodos de accionar cooperativos, siguen siendo poco conocidos por los socios e incluso por los propios miembros del consejo de administración, y ni unos ni otros han tomado conciencia de que la cooperativa es propiedad de todos y que sólo logrará los objetivos que distinguen a la cooperación si todos están imbuidos de sus principios y actúan en función de ellos. Esta situación que da por resultado una escasa participación de los asociados en la vida de la cooperativa y muy especialmente en las asambleas, menoscabando con ello el control democrático que es un principio vital del cooperativismo, es un problema que es necesario enfrentar y resolver. Convencidos de que la cooperación es una filosofía de vida sustentada en la solidaridad humana y supone, esencialmente, la asociación basada en el esfuerzo propio y la ayuda mutua, y que una cooperativa es una organización social que tiene por finalidad satisfacer necesidades educativas, culturales, sociales, recreativas y económicas de sus asociados, los propósitos perseguidos por este Proyecto de Transferencia son: 1) Difundir los valores de la cooperación entre los asociados de la cooperativa, a fin de lograr una mayor participación en las asambleas y en el quehacer todo de la entidad, y entre todos los vecinos de la localidad, para que el conocimiento de esos valores y ese quehacer los impulse a canalizar a través de ella las nuevas necesidades que surjan en el medio local y que sean pasibles de ser satisfechas por este tipo de organización. 2) Fortalecer los vínculos entre la cooperativa y la comuna local a fin de que ambas trabajen solidariamente en la generación de actividades y proyectos conjuntos que beneficien a toda la comunidad de Los Reartes. 3) Promover y apoyar la creación de un periódico institucional que sea el órgano oficial de difusión del quehacer cooperativo y una vía para llevar adelante la educación cooperativa entre los asociados y todos los vecinos, y al mismo tiempo sea también un medio para difundir las novedades de todo tipo que se produzcan en la vida de la comunidad en general.