Brigitte Pientka

Explorando nuevos métodos para la seguridad en la comunicación en sistemas informáticos usando tipos de sesión.

Una mirada a la lógica adjunta y sus aplicaciones en programación y computación.

Los tipos de sesión permiten una comunicación estructurada entre los componentes del sistema para mejorar la fiabilidad.

Este papel presenta un método eficiente de comparación de árboles usando resolución SAT.

Tyro mejora la identificación de errores de tipo para programadores, especialmente para los que son principiantes.

Presentando un marco para la generación de código segura y eficiente.