Avaliação Prática - Verificador de Frames para Pdls 2022-1

Avalia¸c˜ao pr´atica: implementa¸c˜ao de um verificador de frames para programas PDL Linguagens de Programa¸c˜ao 1 Defini¸c˜ao Implementar um programa em Haskell que receba como entrada um frame PDL (i.e. um grafo com arestas rotuladas) F = ⟨W, Rα⟩ tal que W ´e um conjunto de estados (v´ertices) e Rα ´e uma rela¸c˜ao bin´aria indexada (arestas) e um programa PDL π. A sa´ıda deve ser o resultado da veri- fica¸c˜ao de se F corresponde a um frame v´alido para π, isto ´e, se F ´e um grafo induzido por π. Caso a resposta seja negativa, uma mensagem de erro deve explicitar o ponto de incompatibili- dade. 2 Da implementa¸c˜ao O programa deve ser feito na linguagem de programa¸c˜ao funcional Haskell. Demais ferramentas devem ser consultadas previamente. 3 Entreg´aveis A entrega do trabalho constar´a de: • c´odigo fonte (com Makefile e/ou roteiro completo de compila¸c˜ao/execu¸c˜ao) do programa, • arquivos de exemplo e • apresenta¸c˜ao do trabalho (data da atividade prevˆe a data limite para apresenta¸c˜ao, podendo ocorrer antes).