PPGI - Linguagens de Programação
Primeiro Semestre de 2015
Professora: Juliana Kaizer Vizzotto
Carga horária: 60h
Horários: Quintas-feiras, das 14:30 às 17:00
Sala: 321
Sobre a Disciplina
A disciplina de linguagens de programação do PPGI/UFSM é destinada para alunos com interesse em projetar e descrever formalmente linguagens de programação.
Entre os assuntos discutidos estão: teoria e projeto de linguagens de programação. Como as linguagens suportam abstração, modularidade, concorrência, etc. Semântica Operacional e sistemas de tipos.
Material de Apoio
- (05/03/2015) Artigo para leitura: Type Theory Comes of Age
Artigo do Benjamin Pierce.
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.