Anderes Wort für Hoare-Logik?
Folgende Synonyme für Hoare-Logik sind uns bekannt
🙁 Es wurden keine Synonyme für Hoare-Logik gefunden.
Diese Wörter könnten Sie auch interessieren
Schreibweise
Hoare-Logik
Das Wort vorlesen lassen:Erklärung für Hoare-Logik
Der Hoare-Kalkül (auch Hoare-Logik) ist ein formales System, um die Korrektheit von Programmen nachzuweisen. Er wurde von dem britischen Informatiker C. A. R. Hoare entwickelt und später von ihm und anderen Wissenschaftlern verfeinert. Der Hoare-Kalkül wurde 1969 in einem Artikel mit dem Titel An axiomatic basis for computer programming veröffentlicht.
Der Zweck des Systems ist es, eine Menge von logischen Regeln zu liefern, die es erlauben, Aussagen über die Korrektheit von imperativen Computer-Programmen zu treffen und sich dabei der mathematischen Logik zu bedienen. Hoare knüpft an frühere Beiträge von Robert Floyd an, der ein ähnliches System für Flussdiagramme veröffentlichte. Im Gegensatz zum floydschen Verfahren, bei dem Ausführungspfade interpretiert werden, arbeitet der Hoare-Kalkül mit dem Quellcode.
Alternativ kann auch der wp-Kalkül benutzt werden, bei dem im Gegensatz zum Hoare-Kalkül eine Rückwärtsanalyse stattfindet.
Quelle: wikipedia.org
Hoare-Logik als Bild teilen
Du möchtest andere auf die richtige Schreibweise von Hoare-Logik hinweisen? Hier kannst du passende Bilder zu "Hoare-Logik" direkt auf Social Media teilen. Klicke dazu einfach bei dem jeweiligen Bild auf und wähle die gewünschte Variante bzw. Social Media Plattform aus.
