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.
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.
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.
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.
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.
Aparecen junto a Joseph E. Stoy en búsquedas del archivo