Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01067508n
Noun Concept
Categories: Informática teórica, Análisis de software
ES
lógica de Hoare  Logica de Hoare
ES
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. Wikipedia
Definitions
Relations
Sources
ES
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. Wikipedia
Un sistema formal junto con un conjunto de reglas lógicas para razonar con rigor sobre la corrección de los programas de ordenador. OmegaWiki
IS A
sistema formal
NAMED AFTER
C. A. R. Hoare
Wikipedia
ES
lógica de Hoare
Wikidata
ES
Lógica de Hoare
OmegaWiki
ES
lógica de Hoare
Wikipedia Redirections
ES
Logica de Hoare
Wikidata Alias
ES
Logica de Hoare
Wikipedia Translations
ES
lógica de hoare

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License