1.517 visualizaciones desde el 5 de Julio del 2017
177,5 KB
21 paginas
Creado hace 16a (21/05/2008)
Tecnología de la Programación
Semántica Axiomática
David Cabrero Souto
Facultad de Informática
Universidade da Coruña
Curso 2007/2008
Semántica Axiomática
Busca demostrar la corrección de un programa respecto a
una especificación.
Especificación = precondición y postcondición
(Diseño por contrato)
C.A.R. Hoare
Quicksort, Lógica de Hoare, Communicating Sequential
Processes
Lógica de Hoare
Paper “An axiomatic basis for computer programming”, 1969.
Reglas lógicas para razonar sobre la corre...
Crear cuenta
40 visualizaciones durante los últimos 90 días