Concrete Semantics: With Coq
por Benjamin C. Pierce · 2023
Sinopsis
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
Types and Programming Languages
2002
Formal Methods and Software Engineering
2005
Theorem Proving in Higher Order Logics
2005
Haskell 98 Language and Libraries
2006
Computational Logic and Set Theory
2007
Principles of Programming Languages
2009
Software Foundations
2010
Domain-Specific Language Engineering
2014
Applied Type Systems
2015
Programming Language Foundations in Agda
2017
Semantic Scholar: An Efficient Algorithm for Semantic Processing
2020
Libros similares
Libros relacionados según distintos criterios de búsqueda