10 Beziehungen: Abstraktion, Approximation, Berechenbarkeit, Compiler, Formale Semantik, Interpretation, Patrick Cousot, Programmanalyse, Radhia Cousot, The MathWorks.
Abstraktion
Das Wort Abstraktion (‚abgezogen‘, Partizip Perfekt Passiv von abs-trahere ‚abziehen‘, ‚entfernen‘, ‚trennen‘) bezeichnet meist den induktiven Denkprozess des erforderlichen Weglassens von Einzelheiten und des Überführens auf etwas Allgemeineres oder Einfacheres.
Neu!!: Abstrakte Interpretation und Abstraktion · Mehr sehen »
Approximation
Approximation („der Nächste“) ist zunächst ein Synonym für eine „(An-)Näherung“; der Begriff wird in der Mathematik allerdings als Näherungsverfahren noch präzisiert.
Neu!!: Abstrakte Interpretation und Approximation · Mehr sehen »
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Neu!!: Abstrakte Interpretation und Berechenbarkeit · Mehr sehen »
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.
Neu!!: Abstrakte Interpretation und Compiler · Mehr sehen »
Formale Semantik
Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen.
Neu!!: Abstrakte Interpretation und Formale Semantik · Mehr sehen »
Interpretation
Interpretation („Auslegung, Übersetzung, Erklärung“) bedeutet im allgemeinen Sinne das Verstehen oder die subjektiv als plausibel angesehene Deutung von etwas Gegebenem oder wenigstens von etwas Vorhandenem.
Neu!!: Abstrakte Interpretation und Interpretation · Mehr sehen »
Patrick Cousot
Patrick Cousot 2007 Patrick Cousot (* 3. Dezember 1948 in New York City) ist ein französischer Informatiker.
Neu!!: Abstrakte Interpretation und Patrick Cousot · Mehr sehen »
Programmanalyse
Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen.
Neu!!: Abstrakte Interpretation und Programmanalyse · Mehr sehen »
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.
Neu!!: Abstrakte Interpretation und Radhia Cousot · Mehr sehen »
The MathWorks
The MathWorks, Inc., kurz MathWorks, ist ein US-amerikanisches, global-tätiges Unternehmen in privater Hand, das sich auf Software für technische Berechnungen und Multidomain-Simulation und Software für dynamische Systeme spezialisiert hat.
Neu!!: Abstrakte Interpretation und The MathWorks · Mehr sehen »