Hoare logic Englisch

Bedeutung Hoare logic Bedeutung

Was beudeutet auf Englisch Hoare logic?

Hoare logic noun

— (comptheory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

Suchen Sie vielleicht...?

Hoare | logic