Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos

Abstract

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 contexto, dos passos de avaliação de programas escritos na linguagem Cool 2016. Esta linguagem foi desenvolvida por John Tang Boyland com o objetivo de ser implementada por estudantes de cursos de compiladores no período de um semestre. Os passos de execução de programas são descritos em termos de aplicações de regras da semântica operacional da linguagem, que descrevem de modo formal o comportamento de um programa e compõem uma árvore de prova que mostra a derivação do resultado proveniente de sua execução.

This thesis describes the implementation of a graphical software application, named Cool Inspector, whose objective is to allow for a detailed visualization, with the area of formal semantics as context, of the evaluation steps of programs written in the Cool 2016 language. This language was developed by John Tang Boyland with the goal of being implemented by students of compiler courses during a semester. These execution steps are described in terms of applications of the operational semantics rules of the language, which formally describe the behavior of a program and form a proof tree that shows the derivation of the result obtained from the program’s execution.