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.

rdfs:comment
  • 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. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Lógica de Hoare (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 1993904 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1241 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 14 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 72514826 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [14 values]
Is dbpedia-owl:wikiPageWikiLink of [12 values]