El desarrollo de esta investigación se da en el contexto de la adjudicación del fondo ANID-DFG de la Agencia Nacional de Investigación y Desarrollo de Chile, y la Fundación Alemana de Investigación Científica, que busca reunir a investigadores/as de ambos países para diseñar y realizar de manera conjunta proyectos de alta calidad científica.

En particular, los profesores Matías Toro y Éric Tanter, trabajarán en el proyecto “Interpretación abstracta gradual” (Gradual abstract interpretation), junto al investigador Sebastian Erdweg, de la Universidad Johannes Gutenberg (Johannes Gutenberg-Universität Mainz). El objetivo, es tratar de mejorar la forma en que se entienden y analizan los programas computacionales. Este trabajo está entre los cinco proyectos de la FCFM seleccionados en esta convocatoria.

En la propuesta de investigación, los académicos señalan: “En este proyecto, profundizaremos en la teoría del análisis gradual de programas para desarrollar un enfoque general para desarrollar análisis graduales que sean fáciles de usar, admitan lenguajes de programación y propiedades de programas sofisticados, y produzcan implementaciones de análisis graduales que sean escalables a bases de código del mundo real. Al hacerlo, debemos encontrar respuestas a preguntas fundamentales como: ¿cómo gradualizar dominios abstractos de altura infinita, cómo razonar sobre computaciones efectivas gradualmente y cómo derivar un análisis de programas dinámicos sistemáticamente? No solo exploraremos estas preguntas teóricamente, sino que también estudiaremos cómo realizar análisis graduales de programas modularmente como intérpretes abstractos definicionales graduales en el marco de análisis Sturdy de PI Erdweg, que se está utilizando para el análisis estático de programas reales de WebAssembly”.

--

Fuente: Comunicaciones FCFM