Análise de métodos para especificação semântica de linguagens de programação.

Abstract

A teoria das linguagens formais é, além de uma ferramenta muito poderosa para diversas áreas, a principal base teórica para as linguagens de programação, e seu uso na especificação de aspectos léxicos e sintáticos destas é muito comum. Contudo, apesar destes métodos simplificarem o trabalho necessário para se construir um compilador ou interpretador, formalizar a semântica, procedimento este que traria enormes vantagens para o desenvolvimento de linguagens, é uma técnica ainda pouco empregada. Este trabalho apresentará algumas técnicas de especificação semântica e as vantagens trazidas por elas, al ém de formalizar a semântica de uma linguagem de exemplo utilizando uma das técnicas abordadas.