Semántica de los Lenguajes de Programación: El Enfoque Denotacional

Aunque superficialmente se trata de arte y diseño, este libro aplica un enfoque estructural y denotacional, similar al de los lenguajes de programación, para desentrañar el significado de las imágenes. Busca formalizar la interpretación visual de manera análoga a cómo la semántica denotacional formaliza el significado de los programas.

A diferencia del texto de Stoy que se centra en una técnica específica, Sebesta proporciona una vista panorámica de la variedad de decisiones de diseño en lenguajes de programación. Permite comprender por qué la semántica denotacional es una de las muchas herramientas conceptuales necesarias para entender la diversidad de los lenguajes, expandiendo el contexto más allá de una única aproximación teórica.

Mientras Stoy usa la semántica para asignar significado a la sintaxis del programa, Hofstadter explora cómo los sistemas simbólicos pueden generar significado, auto-referencia y hasta conciencia aplicando principios formales. Ambos libros profundizan en cómo la estructura abstracta puede dar lugar a propiedades emergentes y significado, ya sea en un programa o en el pensamiento.

El Tractatus de Wittgenstein busca establecer los límites y la estructura lógica del lenguaje y el pensamiento, de manera similar a cómo Stoy busca formalizar el significado de un lenguaje de programación. Ambos comparten la ambición de desvelar la 'estructura profunda' que confiere sentido a las expresiones simbólicas, ya sean oraciones lógicas o líneas de código.

Mostowski, un lógico polaco, es una figura menos conocida en el ámbito angloparlante de la informática. Su trabajo en "Lógica Algorítmica" se superpone conceptualmente con la semántica denotacional, al intentar dar un significado formal y una base lógica rigurosa a las operaciones computacionales, aunque desde una perspectiva quizás más centrada en la lógica misma que en la aplicabilidad directa a lenguajes de programación.

Este libro es una referencia de los primeros intentos de formalizar la semántica de los lenguajes, coetáneo a los años formativos del trabajo de Stoy, pero menos citado en las listas modernas. Proporciona un contexto histórico y comparativo a diferentes métodos de asignación de significado, reflejando el pensamiento en la época en que la semántica denotacional estaba consolidándose.

El libro de Stoy utiliza un marco matemático riguroso para definir el significado. De forma análoga, Smullyan construye la lógica de primer orden de manera incremental, definiendo símbolos, reglas de inferencia y axiomas para dar significado a las demostraciones. Ambos comparten una estructura didáctica que construye abstracciones formales paso a paso para desentrañar la complejidad.

Mientras Stoy utiliza funciones matemáticas para asignar significado a los programas, el Cálculo de Construcciones (y sus derivados como Coq) utiliza un sistema formal de tipos para construir programas y pruebas de forma intrínsecamente ligada. Ambos comparten una estructura donde el significado (la corrección o el comportamiento del programa) se deriva directamente de las reglas formales y la composición de elementos.