Anderes Wort für Hoare-Kalkül?
Folgende Synonyme für Hoare-Kalkül sind uns bekannt
🙁 Es wurden keine Synonyme für Hoare-Kalkül gefunden.
Diese Wörter könnten Sie auch interessieren
Schreibweise
Hoare-Kalkül
Das Wort vorlesen lassen:Erklärung für Hoare-Kalkül
Der Hoare-Kalkül (auch Hoare-Logik oder Floyd-Hoare-Kalkül) 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 verbessert. 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-Kalkül als Bild teilen
Du möchtest andere auf die richtige Schreibweise von Hoare-Kalkül hinweisen? Hier kannst du passende Bilder zu "Hoare-Kalkül" 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.