A Virtual Machine for a Type-omega Denotational Proof Language

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

A política de formação continuada de professores do ensino médio no RN: limites e possibilidades

El trabajo titulado La Política de Formación Continua de Profesores de Enseñanza Media en RN: límites y posibilidades tiene como objetivo analizar la política de formación continua de profesores de Enseñanza Media implantada en Río Grande del Norte. Parte del supuesto de que las directrices de formación continuada se articulan conforme a los organismos internacionales que desde la década de 1990 extendieron por América Latina un modelo homogéneo de formación, que tiene como principales características la de constituir un servicio a través de la modalidad a distancia y teniendo a la escuela como principal locus. En Brasil, estas características se apoyan en la Ley de Directrices y Bases de Educación Nacional nº. 9.394/96. Este trabajo es parte de un estudio que se desarrolla desde 2004 por la base de investigación Políticas y Gestión de Educación llamada Factores que influyen en la productividad de la Escuela Media: un estudio en Río Grande del Norte. El estudio en cuestión se centra en la dimensión pedagógica de la referida investigación y analiza la política de formación continua del personal docente, y considera como dimensiones de análisis la formación continua promovida en el ámbito escolar, ofrecida por la SECD/RN en el marco de la autoformación. Para la realización del estudio se hizo una búsqueda bibliográfica y documental que permitió la comprensión del objeto de estudio. La investigación empírica se realizó mediante la aplicación de cuestionarios, con preguntas abiertas y cerradas, a los maestros de Enseñanza Media de RN, y a través de entrevistas, semi-estructuradas de naturaleza complementaria, a las coordinadoras estatales de programas dirigidos a la Enseñanza Media. El análisis de los datos obtenidos muestra que no hay en SECD/RN una programación específica para la formación continua de los docentes de ese nivel educativo. Los programas implantados son de carácter nacional, de índole focalizada y no prestan atención a la mayoría de los docentes. La formación continua desarrollada en el âmbito escolar es prácticamente inexistente, y se limita a reuniones y algunos seminarios, sin mucha repercusión en la práctica docente. En cuanto a la autoformación son pocos los profesores que tratan de mejorar su práctica pedagógica con cursos de capacitación. Por lo tanto, se percibe una laguna en la formación de esos profesores y la necesidad de implementar acciones generales de formación continua que favorezcan una mayor y mejor articulación entre la formación inicial y continua, entre la teoría y la práctica, desde una perspectiva transformadora, en el sentido de superar modelos tradicionales de formación que no han tenido repercusión en la práctica docente

Morphological and anatomical studies of the seedes and seedlings of Eucalyptus citriodora and E. maculata

Morphological and anatomical aspccts of secds and seedlings of Eucalyptus citriodora Hook and E. maculara Hook were studied in detail and faund to be e.xtremely similar. However. the external characteristics of the secd. the secd coat anatomy and sorne features of the scedlings appeared to be very useful in the identificatian of these two economica11y important species.