por Benjamin C. Pierce · 1991
Sinopsis
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1980
1998
2001
2002
2005
2005
2006
2007
2009
2011
2014
2015
2017
2020
Libros relacionados según distintos criterios de búsqueda
Douglas Hofstadter·1979·divulgacion
Aunque no es un libro técnico de semántica, GEB explora los fundamentos lógicos y las estructuras formales que subyacen a sistemas complejos, incluida la recursión y la autorreferencia, que son conceptos esenciales en la semántica de los lenguajes de programación. Su enfoque multidisciplinario revela conexiones inusuales.
Thomas S. Kuhn·1962·filosofia
La semántica formal es un campo que ha experimentado sus propios 'cambios de paradigma' a medida que las teorías y los enfoques evolucionan para abordar nuevas complejidades. Este libro ofrece una lente para entender la dinámica de cómo las comunidades de investigación adoptan y desarrollan marcos teóricos, aplicable a la evolución de las ideas en computación.
Edsger W. Dijkstra·1976·no ficcion
Pierce profundiza en la semántica al definir el significado de los programas. Dijkstra va un paso más allá al mostrar cómo, con esa definición precisa, se puede DE MOSTRAR formalmente la corrección. Ambos buscan una comprensión profunda y rigurosa del 'qué hace' y 'si lo hace bien' un programa desde fundamentos lógicos.
John Horton Conway·1976
Pierce construye un marco formal para dar sentido a los lenguajes de programación. Conway, de manera similar, parte de axiomas para construir un sistema numérico completo y consistente. Ambos libros son ejercicios magistrales en la construcción de sistemas formales desde cero, revelando las interconexiones fundamentales entre la lógica, las matemáticas y la computación.
Yusuke Sugiyama·1989·no ficcion
Comparte con Pierce el mismo objetivo de formalizar la semántica de los lenguajes, pero desde una perspectiva y tradición académica japonesa menos conocida en Occidente. Ofrece una exposición rigurosa y detallada de conceptos centrales, a menudo con un enfoque ligeramente diferente al de los textos más canónicos en inglés.
Kazunori Ueda·1986·no ficcion
Mientras Pierce aborda la semántica de lenguajes de programación generales de forma académica, Ueda se enfoca en un paradigma específico (programación lógica concurrente) con una formalización rigurosa de su semántica operacional. Representa una línea de investigación influyente, pero menos popularizada globalmente, que busca cimientos lógicos sólidos para la concurrencia.
Martin Davis·2000·no ficcion
Pierce organiza el conocimiento de la semántica de forma modular y progresiva, construyendo desde bases simples a conceptos complejos. Davis utiliza una estructura similar, presentando las ideas de forma histórica pero lógicamente entrelazada, revelando cómo cada concepto se construye sobre el anterior para formar una imagen coherente de la computabilidad.
Raúl Rojas·2020·no ficcion
El libro de Pierce utiliza un enfoque que va desde los fundamentos teóricos y las definiciones hasta la aplicación de estos conceptos. El libro de Rojas, aunque práctico, también sigue una estructura didáctica que construye el conocimiento de la programación funcional paso a paso, definiendo cada concepto y luego mostrándolo en acción, lo cual es análogo a la progresión lógica de la semántica formal.
