Inhaltsverzeichnis
12 Beziehungen: Ablaufprotokoll, Abstrakte Interpretation, Barbara König (Informatikerin), Bayes’sche Optimierung, Compiler, Constraint, Konrad-Zuse-Medaille für Verdienste um die Informatik, Kontrollfluss, Optimum, Patrick Cousot, Radhia Cousot, Typisierung (Informatik).
Ablaufprotokoll
Ein Ablaufprotokoll (engl. trace) ist eine chronologische Dokumentation von Ereignissen (Protokoll).
Sehen Programmanalyse und Ablaufprotokoll
Abstrakte Interpretation
Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse.
Sehen Programmanalyse und Abstrakte Interpretation
Barbara König (Informatikerin)
Barbara König ist eine deutsche Informatikerin.
Sehen Programmanalyse und Barbara König (Informatikerin)
Bayes’sche Optimierung
Die Bayes’sche Optimierung ist eine sequenzielle Versuchsplanung für die globale Optimierung von Black-Box-Funktionen, die keine funktionalen Formen voraussetzt.
Sehen Programmanalyse und Bayes’sche Optimierung
Compiler
Ein Compiler (auch Kompilierer; von ‚zusammentragen‘ bzw. ‚aufhäufen‘) ist ein Computerprogramm, das Quellcodes einer bestimmten Programmiersprache in eine Form übersetzt, die von einem Computer (direkter) ausgeführt werden kann.
Sehen Programmanalyse und Compiler
Constraint
Mit Constraints (deutsch „Einschränkung“) werden in diversen Programmiersprachen Bedingungen definiert, die zwingend vom Wert einer Variablen erfüllt werden müssen, damit der Wert ins System übernommen werden kann.
Sehen Programmanalyse und Constraint
Konrad-Zuse-Medaille für Verdienste um die Informatik
Im Jahre 1987 wurde zu Ehren von Konrad Zuse die Konrad-Zuse-Medaille für Verdienste um die Informatik durch die Gesellschaft für Informatik gestiftet und wird alle zwei Jahre verliehen.
Sehen Programmanalyse und Konrad-Zuse-Medaille für Verdienste um die Informatik
Kontrollfluss
Der Kontrollfluss oder Programmablauf bezeichnet in der Informatik die zeitliche Abfolge der einzelnen Befehle eines Computerprogramms.
Sehen Programmanalyse und Kontrollfluss
Optimum
Als Optimum (Neutrum von, „Bester, Hervorragendster“; Superlativ von, „gut“) wird in der Umgangssprache das beste erreichbare Resultat unter Berücksichtigung verschiedener Nebenbedingungen oder Eigenschaften im Hinblick auf eine Anwendung, eine Nutzung oder ein Ziel verstanden.
Sehen Programmanalyse und Optimum
Patrick Cousot
Patrick Cousot 2007 Patrick Cousot (* 3. Dezember 1948 in New York City) ist ein französischer Informatiker.
Sehen Programmanalyse und Patrick Cousot
Radhia Cousot
Radhia Cousot Radhia Cousot (* 6. August 1947 in Sakiet Sidi Youssef in Tunesien; † 1. Mai 2014 in New York City) war eine französische Informatikerin.
Sehen Programmanalyse und Radhia Cousot
Typisierung (Informatik)
Eine Typisierung dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch-abstrakten Sinne verstanden) der Programmiersprachen, wie z. B.