Engenharia de Linguagens (2011/2012)

Análise e Transformação de Software

Sumários

27 de Fevereiro de 2012

• 1. Apresentação muito breve do Módulo de ATS:
  • Apresentação da Equipe Docente, dos Objectivos e do modo de Funcionamento e Avaliação;
  • Introdução e Motivação para a área de Análise e Transformação sistemática de SW com base em gramáticas.

05 de Março de 2012

• 2. Introdução e Motivação para a área de Análise e Transformação sistemática de SW com base em gramáticas
  • Exemplos de análises e transformações
  • O ciclo EASY: Extração - Análise / Visualização - Transformação.
• 3. As abordagens baseadas em GAs:
  • • construída de raíz, usando geradores como o AnTLR;
    • suportada num framework de ATS dedicado, como o Rascal.

12 de Março de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • a Tabela de Identificadores--conceito, informação armazenada, implementação; noção de scope e nível.

19 de Março de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • a Tabela de Identificadores--conceito, informação armazenada, implementação; noção de scope e nível (conclusão do tópico).
  • 3.2 suportada num framework de ATS dedicado:
    • Introdução e instalação do Rascal.
• Temas diversos ligados aos Processamento de Linguagens:
  • Literate Programming: o conceito, a implementação, exemplos CWeb/CTrieve, No/NuWeb, Literate-Haskell.
  • o sítio Language.Processing@di.um.pt e os vários conteúdos.
  • Mapas de Conceitos e grafos; o compilador CMC e o Dot/GraphViz; exemplos diversos.

26 de Março de 2012

• 3. As abordagens baseadas em GAs:
  • 3.2 suportada num framework de ATS dedicado:
    • Introdução e instalação do Rascal (cont.).

16 de Abril de 2012

• Nao dei aulas por causa das minhas provas de agregação.

23 de Abril de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • o Grafo do Fluxo de Controlo (CFG), definição e aplicações na análise e otimizaçao.

30 de Abril de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • o Direct Acyclic Graph, DAG (ou Grafo de Dependência de Dados) e o System Dependency Graph (SDG) -- definição aplicações e exemplos.

07 de Maio de 2012

• Continuação da Aula Anterior.

14 de Maio de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • Revisão dos conceitos já apresentados -- Data Flow Graph (DFG) e Direct Acyclic Graph (DAG) -- através da resolução de mais exemplos.

21 de Maio de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • Estruturas de dados para análise de software: Tabela de Símbolos.
    • Noção de Scope, Classe, Tipo e Tamanho de um identificador.

28 de Maio de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- continuação da aula anterior e da exploração das técnicas de travessia de AST decoradas para análise e transformação de SW.

04 de Junho de 2012

• 3. As abordagens baseadas em GAs -- continuação das aulas anteriores.

11 de Junho de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • Revisão dos conceitos de Control Flow Graph (CFG) e Program Dependency Graph (PDG);
    • Introdução ao System Dependency Graph (SDG).

18 de Junho de 2012

• 3. As abordagens baseadas em GAs:
  • 3.1 construída de raíz, usando geradores como o AnTLR -- informação a recolher:
    • Introdução ao Single Static Assignement (SSA);
    • Introdução ao Directed Acyclic Graph (DAG) para expressões.

25 de Junho de 2012

• Continuação e discussão dos TPs em curso.
• Conclusão da UC.