Informações Gerais
| Professor: |
Siome
Klein
Goldenstein Sala: IC
12
|
| Atendimento: |
Terças 16:00-17:00, ou por agendamento.
|
| Horário: |
CB-08: Terças - 21:00-22:40
CB-06: Quintas - 19:00-20:40 |
|
Notícias Importantes
Esta disciplina será mantida no moodle
da Unicamp.
Livros
| Referências Principais: |
CPLS:
Concepts of Programming Languages 10th
Edition.
Robert Sebesta
Pearson - 2012.
|
CPLM:
Concepts in Programming
Languages.
John Mitchell.
Cambridge U Press. 2002.
|
|
| Material Suplementar: |
PLAL:
Programming Languages: An
Active Learning Approach.
Kent D. Lee.
Springer, 2008.
|
SICP:
Structure
and Interpretation of Computer Programs.
Abelson, Sussman, and Sussman.
MIT Press, 1992.
|
ML:
ML for the Working Programmer.
Lawrence Paulson.
Cambridge U Press, 1997.
|
Clocksin:
Programming in Prolog.
Clocksin and Mellish.
Springer, 2003.
|
LAMBDA:
An Introduction to Funcional
Programming through Lambda Calculus.
Greg Michaelson.
Dover, 2011.
|
PLPP
Programming
Languages: Principles and Paradigms.
Maurizio Gabbrielli and Simone Martini.
Springer, 2010.
|
Critérios de Avaliação
A disciplina terá uma série de avaliações
- Atividades Complementares (AC)
- Projetos (Prj)
- Prova 1 (P1) 19/09
- Prova 2 (P2) 17/10
- Prova 3 (P3) 19/11
- Exame (E) 10/12
A Nota (N) é calculada
N = 0.19 * AC + 0.3 * Prj + 0.17 * P1 + 0.17 * P2 + 0.17 * P3
Aqueles que ficarem com N < 2.5 já estão reprovados por nota.
Aqueles que tem 2.5 < N < 5.0 ou N > 2.5 e uma das demais
atividades (AC|Prj|P1|P2|P3) < 2.5 necessitam fazer o Exame (E), e a
nota final será calculada como:
NF = min( max(5.0,N), (N+E)/2 ).
Qualquer caso de plágio ou
comportamento anti-ético acarretará zero na disciplina para todos os
envolvidos, e o caso será encaminhado à CG para possível punição (o
zero é critério).
Conteúdo
-
Histórico de linguagens de programação.
- Sintaxe e semântica.
- Parsing.
- Variáveis, escopo.
- Recursão e controle.
- Postscript/PDF.
- Lambda Calculus.
- Programação funcional.
- Lisp Puro
- Tipos de dados e inferência de tipos.
- ML.
- Abstração de controle.
- Programação lógica.
- Prolog.
- Subprogramas.
- Abstração de dados.
- Exceções e eventos
- Concorrencia.
- Smalltalk.
- Meta Programação e Programação Embarcada
- Lua.
Siome Klein Goldenstein:
[myfirstname](at) ic unicamp br
Last
modified: Thu Sep 10 11:58:26 BRT 2009