LP
LP
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
16 títulos
Isabelle: A Generic Proof Assistant
1994
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·no ficcion
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.
Theorem Proving in Higher Order Logics
2000
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