La Semántica Formal de los Lenguajes de Programación: Una Introducción

The Formal Semantics of Programming Languages proporciona las técnicas matemáticas básicas necesarias para quienes se inician en el estudio de la semántica y la lógica de los lenguajes de programación. Estas técnicas permitirán a los estudiantes inventar, formalizar y justificar reglas con las que razonar sobre una variedad de lenguajes de programación. Aunque el tratamiento es elemental, varios de los temas tratados provienen de investigaciones recientes, incluyendo el área vital de la concurrencia. El libro contiene muchos ejercicios que van desde los más sencillos hasta miniproyectos. Comenzando con la teoría básica de conjuntos, se introduce la semántica operacional estructural como una forma de definir el significado de los lenguajes de programación junto con las técnicas de prueba asociadas. La semántica denotacional y axiomática se ilustran en un lenguaje simple de programas "while", y se presentan pruebas completas de la equivalencia de la semántica operacional y denotacional y la solidez y la completitud relativa de la semántica axiomática. Se incluye una prueba del teorema de incompletitud de Godel, que enfatiza la imposibilidad de lograr una semántica axiomática totalmente completa. Se apoya en un apéndice que proporciona una introducción a la teoría de la computabilidad basada en programas "while". Tras una presentación de la teoría de dominios, se tratan la semántica y los métodos de prueba para varios lenguajes funcionales. El lenguaje más simple es el de las ecuaciones de recursión con evaluación tanto por valor como por nombre. Este trabajo se extiende a lenguajes con tipos superiores y recursivos, incluyendo un tratamiento de los cálculos lambda ansiosos y perezosos. A lo largo de todo el texto, se enfatiza la relación entre la semántica denotacional y operacional, y se proporcionan las pruebas de la correspondencia entre la operación y la semántica denotacional. El tratamiento de los tipos recursivos -una de las partes más avanzadas del libro- se basa en el uso de sistemas de información para representar dominios. El libro concluye con un capítulo sobre lenguajes de programación paralela, acompañado de una discusión de métodos para especificar y verificar programas no deterministas y paralelos.

Autor: Glynn Winskel
Editorial: MIT Press
Publicado: 02/05/1993
Páginas: 384
Tipo de encuadernación: Tapa blanda
Peso: 1.57lbs
Tamaño: 9.04h x 6.92w x 0.70d
ISBN13: 9780262731034
ISBN10: 0262731037
Categorías BISAC:
- Informática | Lenguajes | General
- Informática | Programación | General
- Informática | Ciencias de la Computación

Sobre el autor

Glynn Winskel es profesor de Ciencias de la Computación en la Universidad de Aarhus, Dinamarca.