Browsing by Subject "Type systems"
Now showing items 1-2 of 2
-
Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
(2016) [Work completion of graduation]Neste trabalho é descrita a implementação de um software aplicativo gráfico, denominado Cool Inspector, cujo objetivo é oferecer um ambiente que permite a visualização detalhada, tendo a área de semântica formal como ... -
Projeto e prototipação de uma variação do cálculo-lambda com tipos de sessão
(2021) [Work completion of graduation]Os tipos de sessão são uma extensão de linguagens de programação que permite verificar, em nível de sistema de tipos, se uma comunicação por troca de mensagens entre pro cessos concorrentes respeita um determinado protocolo. ...