BDDBDDB. Programmanalysen einfach und effizient angeben
Jetzt downloaden

BDDBDDB. Ranking & Zusammenfassung

BDDBDDB. Stichworte

analysieren Analysator Programmanalyse BDD. Programm analysieren Programmanalysator

BDDBDDB. Beschreibung

Programmanalysen einfach und effizient angeben BDDBDDB (BDD-basierte deduktive Datenbank) ist eine Implementierung von Datalog, einer deklarativen Programmiersprache, ähnlich wie Prolog, um über die Beziehungen zu reden. Was BDDBDDB eindeutig macht, ist, dass es die Beziehungen mit binären Entscheidungsdiagrammen (BDDs) darstellt. BDDs sind eine Datenstruktur, die effizient große Beziehungen darstellen und effiziente Setoperationen bereitstellen kann. Dadurch kann BDDBDDB auf effizientes Vertretung und Betrieb von extrem großen Beziehungen - Beziehungen, die zu groß sind, um explizit zu repräsentieren .BDDDBDDB kann als Werkzeug verwendet werden, um Programmanalysen einfach und effizient anzugeben. BDDBDDB kann als Datenbankbeziehungen dargestellt werden. Die Entwicklung einer Programmanalyse wird so einfach, dass sie die Spezifikation für die Analyse in einem deklarativen Stil schreibt und dann diese Spezifikation an BDDBDDB füttert, die Ihre Spezifikation automatisch in effiziente BDD-Operationen umwandelt. Anforderungen: · Java

BDDBDDB. Zugehörige Software