Tipos de dados
- Sistemas de tipo
- Checagem de tipo
- Equivalência, Compatibilidade, Inferência de tipos
Controle de Fluxo
- Avaliação de expressões (aritméticas, atribuição)
- Fluxo estruturado e não-estruturado
Abstração de controle – subprogramas
- Registros de ativação
- Modos de passagem de parâmetros
Abstração de dados – orientação a objeto
- Encapsulamento e herança
- Composição e polimorfismo
Paralelismo
Ter mecanismos que facilitam o uso de paralelismo
- Processadores multi-core
- Aceleradores many-core
Linguagens com suporte a paralelismo
- Erlang
- Go
Veremos
- C + OpenMP (com um certo enfoque em PAD)
OpenMP @ SC17 Denver, Colorado http://www.openmp.org/events/openmp-sc17-denver-co/
- OpenMP Common Core: A Hands-On Exploration
- Irregular parallelism and tasks