Ana Cristina Vieira de Melo , Flávio Soares Corrêa da Silva
ISBN: 9788521203223
Páginas: 304
Formato: 16x23 cm
Ano de Publicação: 2003
Peso: 0.382 kg
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
Este livro tem como objetivo elucidar os conceitos fundamentais de linguagens de programação.
A primeira parte do livro é dedicada a esses conceitos, junto com vários exemplos de como eles aparecem em linguagens de programação atuais. O foco principal é a apresentação dos fundamentos independentemente de suas implementações. Para o bom uso de uma linguagem, o programador deve conhecer as características da linguagem, bem como características e restrições do processador em uso.
A segunda parte do livro é dedicada à apresentação de alguns dos paradigmas de programação atuais à luz dos conceitos apresentados na primeira parte.
Seja o primeiro a publicar um depoimento sobre o livro!