La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.
Esta lógica fue publicada por Hoare en 1969 donde mencionó las contribuciones de Robert Floyd, que había publicado un sistema similar para los diagramas de flujo.
La principal característica de esta lógica es la terna o triplete “{Q} S {R}”, donde Q y R son predicados lógicos que deben cumplirse para que el programa S funcione. Es decir, que si el programa S comienza en un estado válido en Q, entonces el programa termina y lo hace en un estado válido para R.
lógica, hoare, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, julio, 2009, lógica, hoare, sistema, formal, desarrollado, hoare, posteriormente, refinado, otros, investigadores, proporciona, serie, regla. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 15 de julio de 2009 La logica de Hoare es un sistema formal desarrollado por C A R Hoare y posteriormente refinado por otros investigadores que proporciona a una serie de reglas de inferencia para razonar sobre la correccion de programas imperativos con el rigor de la logica matematica Esta logica fue publicada por Hoare en 1969 donde menciono las contribuciones de Robert Floyd que habia publicado un sistema similar para los diagramas de flujo La principal caracteristica de esta logica es la terna o triplete Q S R donde Q y R son predicados logicos que deben cumplirse para que el programa S funcione Es decir que si el programa S comienza en un estado valido en Q entonces el programa termina y lo hace en un estado valido para R Este metodo de precondicion Q postcondicion R es la base del diseno de software por contrato Vease tambien EditarSemantica de transformacion de predicados Verificacion formal Datos Q1375924Obtenido de https es wikipedia org w index php title Logica de Hoare amp oldid 117415096, wikipedia, wiki, leyendo, leer, libro, biblioteca,
