Hoare logic
id:
hoare-logic-288-9046551
title:
Hoare logic
text:
Hoare logic is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.
brand slug:
wiki
category slug:
encyclopedia
description:
Rules to verify computer program correctness
original url:
https://en.wikipedia.org/wiki/Hoare_logic
date created:
date modified:
2024-04-05T22:35:55Z
main entity:
{"identifier":"Q1375924","url":"https://www.wikidata.org/entity/Q1375924"}
image:
fields total:
13
integrity:
14