Charlas de computación en el Centro MEMI

[@nT[]n![] mq]

Se invita a la comunidad estudiantil a las charlas que se dará los días lunes y martes en el auditorio del Centro MEMI.
 
Expositor : Oscar Callau estudiante de doctorado en la Univerisdad de Chile, titulado en Lic. Informática en la UMSS.
                                           

Lunes 14/Marzo, 18:30 - 19:30

Título:

Un sistema de tipos para un Java simplificado

Resumen:

Java es uno de los lenguajes con más aceptación y popularidad de la última década. No obstante, su formalización es larga, tediosa de leer y requiere de mucha concentración por parte del lector. En esta charla presentaré la formalización de un sistema de tipos para una versión simplificada de Java (Featherweight Java - FJ. FJ es para Java, lo que lambda-calculus es para Haskell). En donde no solo será posible entender su formalismo, sino también poder hacer razonamientos sobre el. 

--------------------------------------------------------------------------------------------

Martes 15/Marzo, 18:30 - 19:30

Título: 

Como los programadores usan las características dinámicas de los lenguajes de programación: El caso de Smalltalk

Resumen:

Las Características dinámicas y reflexivas de los lenguajes de programación son  herramientas poderosas que los programadores usualmente califican como muy útiles. Sin embargo la posibilidad de modificar en tiempo de ejecución a un programa puede ser un arma de doble filo, en términos de flexibilidad y de herramientas que las soporten. Por ejemplo, en el diseño de un sistema de tipos, en la exactitud de análisis estáticos o en la optimización de compiladores. En esta charla, presento un estudio empírico a larga escala de como y cuan frecuente los programadores usan estas características dinámicas en la práctica. 

--
\ 
/\ to_On1
http://twitter.com/to_On1
http://info-antonio.blogspot.com