Métodos
de Programação III
1998/99
Engenharia de Sistemas e Informática
Matemática e Ciências da Computação
1ª versão
do programa para 1999/2000
-
I) Programaçãoo dirigida por Padrões:
(??? Decidir se sempre fica ou passa para PL1)
-
II.1 princípio geral da programação baseada em Regras
Condição-Acção
-
II.2 Sistemas de Produção
-
II.3 introdução ao utilitário awk
-
II) Programação baseada em Autómatos:
-
III.1 Noções básicas
-
III.2 autómatos:
-
III.2.1 Autómatos não-deterministas
-
III.2.2 Autómatos deterministas; fecho de estados e conversão
de ANDs em ADs
-
III.2.3 Autómatos reactivos
-
III.2.4 Aplicação dos autómatos à simulação
de Sistemas de Controlo
-
III.2.5 Aplicação dos autómatos ao reconhecimento
de Linguagens Regulares: definições; expressões regulares;
gramáticas regulares
-
III.2.6 Implementação de Autómatos
-
III) Programação baseada em Gramáticas:
-
IV.1 Conceito e exemplos
-
IV.2 Gramáticas Regulares
-
IV.3 Gramáticas Independentes do Contexto
-
IV.4 Desenvolvimento de Parsers:
-
Parsers baseados em Combinadores.
-
Happy: Um gerador de parsers
(??? yacc para haskell)
-
IV.5 Gramática Concreta e Gramática Abstracta
-
Das Gramáticas Independentes do Contexto para os Tipos Abstractos
de Dados
-
Árvore Abstractas
-
IV) Programação baseada em Atributos:
-
V.1 Adiccionar Semântica aos
Parsers
-
V.1.1 Atributos
-
V.1.2 Atributos como argumentos/resultados de funções
-
V.1.3 Multiplas Travessias da Árvore Abstracta
-
V.1.4 Programas "Circulares"
-
V) Cálculo Parcial e Deflorestação:
-
Especialiazação de Programas
-
Conceito e exemplos de aplicação de Partial Evaluation
-
V.1.2 técnicas de Partial Evaluation
Enviar comentários para jas@di.uminho.pt.
Ultima modificação: 28/1/1999