PPGI - Implementação de Linguagens de Programação
Primeiro Semestre de 2019
Professora: Juliana Kaizer Vizzotto
Carga horária: 60h
Horários: Terças-feiras, das 14:00 às 18:00
Sala: 321
Sobre a Disciplina
A disciplina de implementação de linguagens de programação do PPGI/UFSM é destinada para alunos com interesse em projetar, descrever formalmente linguagens de programação e implementar interpretadores.
Entre os assuntos discutidos estão: sintaxe e semântica de linguagens de programação, sistemas de tipos, interpretadores e suas implementações.
Material de Apoio
- (12/03/2019) Artigo para leitura: Type Theory Comes of Age
Artigo do Benjamin Pierce. - (12/03/2018) Toolkits for the mind
Avaliações
Trabalhos
- Serão postados aqui! Avaliação dos Trabalhos
- A avaliação dos trabalhos levará em conta a funcionalidade e a legibilidade dos programas desenvolvidos, bem como a pontualidade na entrega.
- Atenção: Havendo suspeita de plágio (cópia) de trabalhos, os alunos envolvidos poder„o ser submetidos a outra avaliaçãp. A penalizaçãp para casos de plágio será de redução da nota de uma ou mais avaliações.
Links
Compiladores
- Algumas tarefas serão exercícios de programação em Haskell, uma linguagem funcional moderna e muito legal. Você deve fazer o download e instalar a plataforma Haskell no seu computador. Aqui você encontrará algumas dicas. Se preferir usar somente o compilador Haskell, você pode fazer o donwload aqui GHC.
Livros
- Types and Programming Languages
Website do livro do Benjamin Pierce. - Essentials of Programming Languages
Website do livro de Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes - Learn You a Haskell for Great Good
Livro online. - Real World Haskell
Livro online.