DAIKON

Der invariante Detektor
Jetzt downloaden

DAIKON Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Name des Herausgebers:
  • Program Analysis Group
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 90.2 MB

DAIKON Stichworte


DAIKON Beschreibung

Daikon ist eine Umsetzung dynamischer Erkennung der wahrscheinlichen Invarianten; Das heißt, der DAIKON INVARIANT-Detektor berichtet voraussichtlich wahrscheinlich Programminvarianten. Ein Invariante ist eine Eigenschaft, die an einem bestimmten Punkt oder Punkte in einem Programm gilt; Diese werden häufig in Assent-Anweisungen, Dokumentation und formalen Spezifikationen gesehen. Invarianten können im Programmverständnis und in einem Host anderer Anwendungen nützlich sein. Beispiele umfassen ".field> ABS (y)"; "Y = 2 * x + 3"; "Array A ist sortiert"; "Für alle Listenobjekte LST, LST.NEXT.PREV = LST"; "Für alle Treenode-Objekte n, n.left.Value


DAIKON Zugehörige Software

Silbermotion.

Eine Avantgarde-Grafik-Systemsteuerung, die echte Echtzeit-3D-Grafiken in das Web liefert. Sein einzigartiger Rendering-Motor, Entitätsstruktur, Schattiersystem und andere Eigenschaften erzeugen eine vollständige und rema ...

223 2 MB

Herunterladen

Über uns