Lawrence C. Paulson
británico
Lawrence C. Paulson es un destacado científico de la computación conocido por sus contribuciones en el campo de la verificación formal y la lógica matemática. Es especialmente relevante por su trabajo en el desarrollo de herramientas para la verificación de software y sistemas de seguridad.
Obras en el archivo
17 títulos
Este libro introduce Isabelle, un asistente de prueba genérico que combina métodos formales y verificación automática para apoyar la construcción de pruebas matemáticas y la verificación de sistemas.
Programación funcional con Standard ML
1996·divulgacion
Este texto presenta la programación funcional utilizando el lenguaje Standard ML, enfocándose en la tipificación estática, la inferencia de tipos y la implementación de estructuras de datos inmutables y recursivas.
Los fundamentos de ML
1996·divulgacion
Un texto que introduce el lenguaje de programación ML (Meta Language), explorando sus características fundamentales, su sistema de tipos y su aplicación en la demostración automática de teoremas.
Este libro ofrece una introducción a la prueba de teoremas en lógicas de orden superior, utilizando el sistema de prueba Isabelle. Discute su aplicación en múltiples áreas y proporciona ejemplos prácticos de su uso en matemáticas y ciencias de la computación.
Autores relacionados
Aparecen junto a Lawrence C. Paulson en búsquedas del archivo