Sumário

Prefácio
Agradecimentos

1 - Introdução
1.1. A Quem se Destina Este Livro
1.2. Tópicos Não Tratados Neste Livro
1.3. Conteúdo dos Capítulos e Seqüências de Leituras Recomendadas

Parte I - Conceitos fundamentais

2 - Linguagens de programação: noções preliminares
2.1. Sintaxe e Semântica
2.2. Compiladores e Interpretadores
2.3. Metodologia de Programação
2.4. Características Desejáveis para Uma Linguagem de Programação
2.5. Tipologia das Linguagens de Programação
2.6. Leitura Recomendada
2.7. Exercícios

3 - Valores e tipos
3.1. Por que Estudar Tipos de Dados?
3.2. Tipos Primitivos
3.2.1. Numéricos
3.2.2. Não-Numéricos
3.2.3. Enumerados
3.3. Tipos Compostos
3.3.1. Produto Cartesiano
3.3.2. União Disjunta
3.3.3. Mapeamentos
3.3.4. Conjuntos Potência
3.4. Tipos Recursivos
3.5. Tipos Construídos pelo Programador
3.6. Leitura Recomendada
3.7. Exercícios

4 - Variáveis
4.1. O Papel das Variáveis nos Programas
4.2. Armazenamento e Acesso a Valores
4.2.1. Variáveis Simples
4.2.1.1. Tipos Primitivos
4.2.1.2. Tipos Compostos
4.2.1.3. Tipos Recursivos
4.2.2. Variáveis Compostas
4.2.2.1. Produto Cartesiano
4.2.2.2. União Disjunta
4.2.2.3. Mapeamentos
4.2.2.4. Tipos Recursivos
4.3. As Variáveis e sua Existência
4.3.1. Variáveis Globais e Locais
4.3.2. Variáveis Intermitentes (Heap)
4.3.3. Variáveis Persistentes
4.3.4. Problemas Relacionados à Existência das Variáveis
4.4. Leitura Recomendada
4.5. Exercícios

5 - Vinculações e verificação de tipos
5.1. Vinculações
5.1.1. Formas de Vinculação
5.1.2. Tempo de Vinculação
5.2. Escopo versus Vinculações
5.3. Sistema de Tipos
5.3.1. Monomorfismo
5.3.2. Sobrecarga
5.3.3. Polimorfismo
5.4. Verificação de Tipos
5.4.1. Equivalência de Tipos
5.4.2. Inferência de Tipos
5.5. Linguagens Fortemente Tipificadas
5.6. Leitura Recomendada
5.7. Exercícios

6 - Expressões e comandos
6.1. O Programa como Máquina Abstrata
6.2. Expressões
6.2.1. Expressões como Valores
6.2.1.1. Literais
6.2.1.2. Agregação de Valores
6.2.1.3. Aplicação de Funções
6.2.1.4. Expressões Condicionais
6.2.1.5. Valores associados a identificadores
6.2.2. Avaliação de Expressões
6.2.2.1. Ordem de avaliação
6.2.2.2. Efeitos colaterais
6.3. Comandos
6.3.1. Atribuição
6.3.2. Instruções Compostas e Blocos
6.3.3. Condicionais 93
6.3.3.1. Seleção Bidirecional
6.3.3.2. Seleção n-direcional
6.3.4. Iterativos
6.3.4.1. Número predefinido de iterações
6.3.4.2. Número indefinido de iterações
6.3.5. Desvio Incondicional
6.4. Leitura Recomendada
6.5. Exercícios

7 - Abstrações
7.1. Tipos de Abstrações
7.2. Abstração de Processos
7.2.1. Funções
7.2.2. Procedimentos
7.3. Parâmetros
7.3.1. Mecanismos de Passagem de Parâmetros
7.3.1.1. Cópia de Valores
7.3.1.2. Referência a Valores
7.3.2. Parametrização de Tipos
7.3.3. Ordem de Avaliação
7.4. Abstração de Tipos
7.4.1. Tipos Abstratos
7.4.2. Classes
7.4.3. Tipos Abstratos Genéricos
7.5. Leitura Recomendada
7.6. Exercícios

Parte II - Paradigmas e linguagens de programação

8 - Programação Funcional
8.1. Fundamentos: o l-cálculo
8.2. Variáveis e Tipos de Dados
8.3. Expressões e Programas
8.4. Estratégias para Reduções
8.5. A Linguagem Haskell
8.6. Leitura Recomendada
8.7. Exercícios

9 - Programação imperativa
9.1. Variáveis, Valores e Tipos
9.2. Expressões e Comandos
9.3. Modularidade
9.3.1. Blocos
9.3.2. Procedimentos e Funções
9.3.3. Parâmetros
9.4. Um Exemplo
9.5. A Linguagem Pascal
9.6. Leitura Recomendada
9.7. Exercícios

10 - Programação orientada por objetos
10.1. Introdução
10.2. Fundamentos
10.3. A Linguagem Smalltalk

10.3.1. Objetos e Classes

10.3.2. Veriáveis e Vinculações

10.3.3. Expressões e Comandos

10.4. Leitura Recomendada

10.5. Exercícios



11 - Programação baseada em lógica

11.1. Aspectos Operacionais

11.1.1. Linguagens de primeira ordem

11.1.2. Substituições e unificações

11.1.3. Resolução

11.1.4. Exemplos

11.2. Aspectos Lógicos

11.3. A Linguagem Prolog

11.4. Exercícios



12 - Programaçao baseada em propagações de restrições

12.1. Valores e Tipos

12.2. Variáveis

12.3. Expressões e Comandos

12.4. Um Exemplo

12.5. O Ambiente de Programação Mozart-Oz

12.6. Leitura Recomendada

12.7. Exercícios



13 - Epílogo



Referências bibliográficas

Índice Remissivo