README.org

Conteúdo

Aulas

A tabela abaixo traz uma lista dos assuntos abordados ao longo do semestre, por setor. Os tópicos, respeitando o plano de ensino da disciplina, podem variar em abrangência e profundidade.

Gerar PDFs

Todos os links de conteúdo apontam para arquivos ORG que devem ser processados com e-macs e org-mode para gerar os PDFs. Arquivos Makefile foram colocados neste repositório para auxiliar neste processo de criação de PDFs. Eles assumem a existência de uma versão recente de e-macs (25.*), uma versão recente de org-mode (9.*), e o programa pdflatex para compilação de arquivos TEX diretamente para PDF.

Realizado

Setor	Descrição	CATPs	Sebesta	Scott
Geral	Apresentação da Disciplina
Geral	Introdução Geral		Cap.1	Cap.1
Geral	Critérios e Características de LP	#01	Sec.1.3
Geral	Implementação de LP: compilação e interpretação		Sec.1.7
Funcional	Contextualização e Histórico, Origem dos Paradigmas		Cap.2
Funcional	Programação Funcional		Cap.15	Cap.10
Funcional	Cálculo Lambda
Funcional	R: Introdução, Listas e recursividade	#02
Funcional	R: Funcionais	#03
Funcional	R: Manipulação de Dados	#04
Lógico	Prolog: Introdução		Cap.16	Cap.11
Lógico	Prolog: Processo de Inferência	#05
Lógico	Prolog: Controle de Fluxo
Lógico	Prolog: Recursividade	#06
Lógico	Prolog: Metapredicados
Lógico	Prolog: Manipulação de Listas	#07
Vinculações	Introdução e espaço de vinculações		Cap.5	Cap.3
Vinculações	Nomes
Vinculações	Tipos
Vinculações	Estocagem
Vinculações	Escopo	#08	Cap.5	Cap.3
Vinculações	Declaração/Definição
Vinculações	Ponteiros
Tipos	Introdução		Cap.6	Cap.7
Tipos	Sistema de Tipos	#09
Tipos	Implementação
Tipos	Orientação a Objetos
Tipos	Compatibilidade		Cap.6	Cap.7
Tipos	Coerção
Tipos	Conversão Explícita

PA até este ponto.

Setor	Descrição	CATPs	Sebesta	Scott
Fluxo	Introdução		Cap.7	Cap.6
Fluxo	Básicas
Fluxo	Aritméticas
Fluxo	Lógicas
Fluxo	Atribuição
Fluxo	Estruturas Explícitas de Controle	#10	Cap.8
Fluxo	Desvios incondicionais
Polimorfismo	Tipos Abstratos de Dados Parametrizados		Cap.11
Polimorfismo	Introdução
Polimorfismo	Ad-hoc
Polimorfismo	Universal
Polimorfismo	Vinculação	#11
Subprogramas	Introdução		Cap.9	Cap.8
Subprogramas	Registros de Ativação
Subprogramas	Acesso a Dados
Subprogramas	Abstrações de Controle (Bonus fundamental)
Subprogramas	Parâmetros		Cap.10
Subprogramas	Métodos de Passagem de Parâmetros
Subprogramas	Subprogramas como parâmetros	#12
OO	Conceito de Abstração		Cap.12	Cap.9
OO	Introdução
OO	Encapsulamento
OO	Inicialização, Finalização, Cópia	#13
OO	Herança	#14
OO	Paramétrico	#15
Exceções	Introdução		Cap.14
Exceções	Sistema de Tratamento de Exceções
Exceções	Implementação	#16
Monte	Gerenciamento
Monte	Coleta de Lixo	#17
Script	Linguagens de Script			Cap.13
Script	Características Comuns
Script	Domínios de Problemas
Script	Inovações, Discussão, “Pior é melhor”	#18
Paralelismo	Introdução		Cap.13	Cap.12
OpenMP	OpenMP
OpenMP	Algoritmos de escalonamento
OpenMP	Compartilhamento de Variáveis	#19

Conteúdo de edições anteriores

Funcional	ML: Introdução, tipos de dados primitivos e estruturados, funções.
Funcional	ML: Funções compostas, recursividade, pattern matching, polimorfismo e sobrecarga.
Funcional	ML: Tipos definidos pelo usuário e tipos estruturados de dados, tipos polimórficos.

Material de apoio

Exercícios

Artigos para leitura

• Gao, Z., Bird, C. and Barr, E.T., 2017, May. To type or not to type: quantifying detectable bugs in JavaScript. In Proceedings of the 39th International Conference on Software Engineering (pp. 758-769). IEEE Press.
  • Ver sobre ferramentas do tipo lint.