Gramática de Atributos (GA) e a definição precisa/rigorosa da semântica, ou do conteúdo, de uma Linguagem por adição de Atributos aos símbolos e de Regras de Cálculo de atributos às produções;
as Condições de Contexto que definem as frases com significado em termos dos valores locais e específicos dos atributos;
e as Regras de Tradução expressas em termos dos atributos de cada produção.
Exemplos; constatação do carácter declarativo da Gramática (independência da forma de reconhecimento e do momento de execução das regras).
Geração automática de Processadores de Linguagens com base em GAs; Tradução Dirigida pela Semântica (TDSem).
Sub-áreas de investigação associada a esta abordagem (TDSem): a escrita/desenvolvimento da GA; a construção do grafo de dependências e a determinação da ordem
de cálculo; o cálculo concorrente ou incremental dos atributos.
Descrição pormenorizada da tarefa e apresentação do método de trabalho baseado na escrita da Gramática Tradutora ou de Atributos
e no recurso a um Gerador de Compiladores; as rotinas genéricas geradas e o módulo de funções específicas complementar.
Desenvolvimento de Compiladores como caso particular do desenvolvimento de Processadores de Linguagens:
Descrição pormenorizada das tarefas do back-end do compilador: geração de código; análise dos fluxos de dados e de controlo; optimizações.
Tarefas independentes e dependentes da Máquina final; Geração de Código Intermédio.
Sub-áreas de investigação associadas ao caso específico dos compiladores: análise, optimização, geração de código e geração automática de geradores de código intermédio e final.
Desenvolvimento de Programas em geral segundo a chamada Abordagem Gramatical à Programação:
A ideia geral desta abordagem e o método proposto com base no desenvolvimento de Processadores de Linguagens.
author: prh@di.uminho.pt;
Last modified: 02 de Abril de 2005