O objetivo deste projeto de pesquisa é aperfeiçoar as técnicas de definição da semântica denotacional de linguagens de programação, oferecendo meio apropriados para tratamento dos elementos inerentes às linguagens de grande porte e que ainda são impedimentos à escrita de definições modulares. Como resultado, espera-se desenvolver uma nova metodologia de definição modular de semântica, uma linguagem de especificação de linguagens, e um ambiente de execução para o modelo. Com isso, espera-se resolver os difíceis problemas de leitura e escrita de especificações semânticas e prover ferramentas de suporte que promovam a difusão de seu uso.

Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .

Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Fábio Tirelo – Integrante / BIGONHA, Roberto S.- Coordenador / Tays Cristina do Amaral Pales Soares – Integrante.