blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections

Genius — OpenServe

Sponsored

Hoare logic — latest news, discussion & facts — IJR

Hoare logic

Topic

Hoare logic

formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs

0members1here now

Ask Genius Site

Feed Discussions About

Loading

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

About Hoare logic

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.

0

members

1

here now

Everything about Hoare logic →

Live room · 1 here

Be the first in the room — members see you arrive.

Facts from Wikidata (CC0).