Compiling with Continuations, Paulo Torrens
12 de dezembro, 19h, GMT-3
Título: Compilando com Continuações
Resumo: durante o processo de compilação, representações intermediárias são introduzidas para tornar explícitos detalhes sobre o programa fonte e permitir análises e otimizações. As opções mais populares, a forma de atribuição única estática (SSA), a forma A-normal (ANF) e a forma em estilo de passagem de continuação (CPS), são, na verdade, isomórficas e equivalentes. O objetivo dessa apresentação é introduzir essas linguagens, que reprentam a parte central de compiladores industriais, além de apresentar resultados recentes sobre a metateoria de linguagens intermediárias, em particular sobre o cálculo de continuações, e como eles podem ser usados para se provar a ausência de bugs dentro de compiladores.
Mini-bio: Paulo Torrens é graduado em Análise e Desenvolvimento de Sistemas e mestre em Computação Aplicada pela Universidade do Estado de Santa Catarina. Com 14 anos trabalhando com programação na indústria, atualmente cursando o doutorado em Ciência da Computação pela Universidade de Kent, onde trabalha como professor assistente.