INTRODUÇÃO À ABSTRAÇÃO DE DADOS

Trata-se de um livro que ensina a especificar, ou modelar, soluções de problemas computacionais em alto nível de abstração e a desenvolver o raciocínio algorítmico. Para especificar soluções de problemas, o livro utiliza uma linguagem de programação funcional denominada MAuDE. Assim, a atividade de especificação ou modelagem da solução de problemas torna-se prazerosa e gratificante, pois as especificações são interpretáveis (executáveis) em qualquer computador, permitindo testá-las quanto a sua corretude. Sumário -Capítulo 1. Especificação de tipos primitivos tipo TRUTH-VALUES 1.1 conceito de assinatura 1.2 conceito de termo 1.3 ambiguidade 1.4 conceito de subtermo 1.5 conceitos de operador gerador e sorte 1.6 conceito de equação: definição dos operadores 1.7 operações totais e parciais 1.8 definição das operações do tipo TRUTH-VALUES -Capítulo 2. Reescrita de termos 2.1 troca de iguais por iguais 2.2 instanciação de variáveis e substituição 2.3 unificação 2.4 casamento (matching) 2.5 reescrita de termos 2.6 relação de equivalência. fecho de instanciação, de troca de termos, simétrico, transitivo e reflexivo 2.7 estratégia de reescrita 2.8 operações ocultas ou auxiliares -Capítulo 3. Extensão de tipos primitivos 3.1 conceitos de consistência e completeza 3.2 hierarquia de inclusão -Capítulo 4. Especificação de tipos primitivos: tipo NATURALS 4.1 termos do sorte natural 4.2 novos termos do sorte truth-value (operadores: _<_, _>_ e _is_) 4.3 equações 4.4 interpretação das equações 4.5 declaração de variáveis locais (privadas) 4.6 equações condicionais 4.7 fecho de instanciação, de troca de termos, simétrico, transitivo e reflexivo 4.8 efeitos da estratégia de reescrita 4.9 especificações predefinidas (built-in) do Maude -Capítulo 5. Espécies 5.1 subsortes 5.2 componente ligado 5.3 conceito de espécie (kind) 5.4 conceito de axioma de pertinência (membership) 5.5 equações e pertinências condicionais 5.6 operadores polimórficos 5.7 operadores de comparação 5.8 predicado de pertinência 5.9 OWISE (Otherwise) -Capítulo 6. Tipos parametrizados: sortes como parâmetros 6.1 tipo ORDERED-PAIRS 6.2 instanciação 6.3 operações com mesmo símbolo 6.4 extensão de tipos parametrizados 6.5 representação gráfica dos sortes 6.6 tipo união disjuntiva 6.7 tipo LISTS 6.8 sortes estruturados 6.9 tipo ARRAYS 6.10 equações 6.11 visões parametrizadas 6.12 tipo STACKS 6.13 tipo QUEUES -Capítulo 7. Tipos parametrizados: termos como parâmetros 7.1 tipo P-STACKS. 7.2 tipo SPARSE-ARRAYS -Capítulo 8. Tipos parametrizados: operadores como parâmetros 8.1 tipo MAPPINGS 8.2 tipo SETS 8.3 tipo BTREES 8.4 visões (mapeamentos) entre teorias. -Capítulo 9. Implementação abstrata de tipos abstratos de dados 9.1 tipo SYMTABS -Capítulo 10. Especificação algébrica e linguagens de programação -Capítulo 11. Álgebras 11.1 álgebra inicial 11.2 lixo e confusão -Capítulo 12. Prova de teoremas 12.1 algoritmo de prova de teoremas 12.2 variáveis decorativas 12.3 prova de teoremas 12.4 complexidade de termos: relação de ordenação 12.5 relação de redução 12.6 termos críticos e prova de reescrita 12.7 relação de subsunção