Brigitte Pientka

Explorando novos métodos para segurança na comunicação em sistemas computacionais usando tipos de sessão.

Uma olhada na lógica adjunta e suas aplicações em programação e computação.

Os tipos de sessão permitem uma comunicação estruturada entre os componentes do sistema pra melhorar a confiabilidade.

Este artigo apresenta um método eficiente de diffs de árvore usando resolução de SAT.

Tyro melhora a identificação de erros de tipo para programadores, especialmente os iniciantes.

Apresentando uma estrutura para geração de código segura e eficiente.