Ambos libros utilizan el asistente de pruebas Coq para formalizar y verificar propiedades de programas en el contexto de lenguajes de programación.
Software Foundations
por Benjamin C. Pierce et al. · 2010
Ver sugerenciasSinopsis
Una serie de libros de texto que introducen la teoría de los lenguajes de programación y la verificación de software utilizando el asistente de pruebas Coq, construyendo de manera inductiva conceptos fundamentales.
Sé el primero en valorar este libro.
Más de Benjamin C. Pierce et al.
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
2012
Domain-Specific Language Engineering
2014
Applied Type Systems
2015
Programming Language Foundations in Agda
2017
Libros similares
Libros relacionados según distintos criterios de búsqueda
The Calculus of Computation: Decision Procedures with Applications to Verification
Aaron Bradley, Zohar Manna
2007·divulgacion
Este texto se centra en los métodos formales y técnicas de decisión para garantizar la corrección de programas, alineándose con la verificación de software.
Proporciona una base teórica en lógica y tipos, elementos esenciales para la construcción de software correcto, similar a Software Foundations.
Explora definiciones formales y matemáticas de lenguajes de programación, conectando a la lógica computacional utilizada en Software Foundations.
Repite el enfoque de Software Foundations al introducir conceptos fundamentales relacionados con la programación y la verificación, usando Coq.
Este libro examina principios y conceptos fundamentales de programación, ampliando la comprensión sobre lenguajes y métodos que también se exploran en Software Foundations.