Al igual que 'Concrete Semantics', 'Software Foundations' utiliza Coq para formalizar la verificación de conceptos en lenguajes de programación.
Concrete Semantics: With Coq
por Benjamin C. Pierce · 2023
Ver sugerenciasSinopsis
Un libro de texto que introduce a los lectores a la teoría de lenguajes de programación y sus semánticas, utilizando el asistente de pruebas Coq para formalizar y verificar propiedades de programas.
Sé el primero en valorar este libro.
Más de Benjamin C. Pierce
Ver autor →Otras obras del mismo autor en el catálogo
The Next 700 Programming Languages
1980
The Formal Semantics of Programming Languages
1991
Programming Language Pragmatics
1998
Logic in Computer Science: 16th Annual Conference
2001
Sistemas de tipos de datos
2002
Types and Programming Languages
2002
Theorem Proving in Higher Order Logics
2005
Formal Methods and Software Engineering
2005
Haskell 98 Language and Libraries
2006
Computational Logic and Set Theory
2007
Principles of Programming Languages
2009
Software Foundations
2010
Software Foundations
2012
Domain-Specific Language Engineering
2014
Applied Type Systems
2015
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ambos textos investigan la semántica formal de los lenguajes, con un enfoque en matemáticas y lógica para estructurar definiciones precisas.
Este libro introduce la semántica denotacional, ofreciendo una conexión directa con la formalización de programas, similar a la propuesta de Pierce.
'Concepts in Programming Languages' comparte la exploración teórica de los mecanismos de los lenguajes, complementando la semántica expuesta en 'Concrete Semantics'.
Los principios de diseño de lenguajes en 'Principles of Programming Languages' se relacionan con la verificación formal y semántica abordada por Pierce.
'Types and Programming Languages' profundiza en la semántica de tipos, similar a cómo 'Concrete Semantics' aborda la formalización de lenguajes de programación.