Un clásico texto de informática que introduce la semántica denotacional, un enfoque matemático formal para dar significado a los lenguajes de programación, describiendo qué computan realmente los programas.
JS
JS
Joseph E. Stoy
estadounidense
Joseph E. Stoy es un destacado informático y educador estadounidense, conocido por sus contribuciones en el campo de la teoría de lenguajes de programación y su libro 'Programming Languages: Concepts and Constructs'. Su trabajo ha influido en la forma en que se enseñan y entienden los lenguajes de programación en la academia.
Obras en el archivo
3 títulos
Una introducción rigurosa a la semántica denotacional, una técnica matemática para describir el significado de los programas de forma precisa y formal.
Este libro aborda la teoría detrás de la semántica de los lenguajes de programación, utilizando el enfoque denotacional desarrollado por Christopher Strachey y Dana Scott. Explora cómo el significado de los programas puede ser modelado matemáticamente.
Autores relacionados
Aparecen junto a Joseph E. Stoy en búsquedas del archivo