Exercício de Avaliação
Para a avaliação de ATS vamos considerar a linguagem Cmb apresentada nas aulas de Engenharia Gramatical.
Usando as técnicas de construção de ASTs e suas travessias tendo em conta atributos (introduzidas no outro módulo), é pedido neste exercício de avaliação que se construam 4 módulos em que cada um é responsável pela criação de:
- Um Control Flow Graph (CFG);
- Um Program Dependency Graph (PDG);
- Um System Dependency Graph (SDG);
- Transforme o código fonte de acordo com a noção de Single Static Assignment;
- Em complemento (para enriquecimento do trabalho), pode criar um Directed Acyclic Graph (DAG).
A apresentação dos resultado fica ao critério de cada um, mas valoriza-se a integração
de cada um dos resultados numa página HTML onde se apresente o código original e as várias
transformações.
Este trabalho deve ser REALIZADO em GRUPO e entregue até ao dia
1 de Julho!