UFSM - Programa de Pós-Graduação em Ciência da Computaçã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

Avaliações

Trabalhos

  1. Serão postados aqui!

    Avaliação dos Trabalhos

  2. A avaliação dos trabalhos levará em conta a funcionalidade e a legibilidade dos programas desenvolvidos, bem como a pontualidade na entrega.

  3. 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

  1. 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

  1. Types and Programming Languages
    Website do livro do Benjamin Pierce.

  2. Essentials of Programming Languages
    Website do livro de Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes

  3. Learn You a Haskell for Great Good
    Livro online.

  4. Real World Haskell
    Livro online.

Página criada em: Mon Mar 02 08:00:00 BRT 2015. Última atualização em: Thu Mar 5 11:32:08 2015. Autoria: Juliana Kaizer Vizzotto.