Incluye referencias bibliográficas e índice (páginas 854-900)

1. Modelos generales de computación

2. Modelo de cálculo declarativo

3. Técnicas declarativas de programación

4. Concurrencia declarativa

5. Concurrencia de paso de mensajes

6. Estado explícito

7. Programación orientada a objetos

8. Concurrencia de estado compartido

9. Concurrencia de estado compartido

10. Programación relacional

Parte 2. Modelos de computación especializados

10. Programación gráfica de la interfaz de usuario

11. Programación distribuida

12. Limitación de la programación

3. Semánticas

13. Semántica del lenguaje

Enseñanza de la ciencia y la tecnología de la programación como una disciplina unificada que muestra las profundas relaciones entre los paradigmas de programación. Este texto innovador presenta la programación de computadoras como una disciplina unificada de una manera que es a la vez práctico y científicamente sólida. El libro se centra en las técnicas de valor duradero y las explica precisamente en términos de una simple máquina abstracta. El libro presenta todos los principales paradigmas de programación en un marco uniforme que muestra sus relaciones profundas y cómo y dónde usarlos juntos. Después de una introducción a los conceptos de programación, el libro presenta modelos de computación bien conocidos y menos conocidos ("paradigmas de programación"). Cada modelo tiene su propio conjunto de técnicas y cada uno se incluye sobre la base de su utilidad en la práctica. Los modelos generales incluyen programación declarativa, concurrencia declarativa, concurrencia de paso de mensajes, estado explícito, programación orientada a objetos, concurrencia de estado compartido y programación relacional. Los modelos especializados incluyen la programación gráfica de la interfaz de usuario, la programación distribuida y la programación de restricciones. Cada modelo se basa en su lenguaje kernel - un lenguaje básico simple que consiste en un pequeño número de elementos significativos para el programador. Los lenguajes del kernel se introducen progresivamente, añadiendo conceptos uno a uno, mostrando así las relaciones profundas entre los diferentes modelos. Los lenguajes del kernel se definen precisamente en términos de una simple máquina abstracta. Debido a que una gran variedad de lenguajes y paradigmas de programación pueden ser modelados por un pequeño conjunto de lenguajes del kernel estrechamente relacionados, este enfoque permite al programador y al estudiante captar la unidad subyacente de la programación. El libro tiene muchos fragmentos de programa y ejercicios, todos los cuales se pueden ejecutar en el Sistema de Programación de Mozart, un paquete de software Open Source que cuenta con un entorno de desarrollo incremental interactivo. (Basado en el resumen de Amazon, 04/10/2017)

En: https://www.amazon.es/Concepts-Techniques-Models-Computer-Programming/dp/0262220695