BDDBDDB Spécifiez facilement et efficacement des analyses de programme
Télécharger maintenant

BDDBDDB Classement & Résumé

BDDBDDB Mots clés

analyser analyseur Analyse de programme Bdd analyser le programme Analyseur de programme

BDDBDDB La description

Spécifiez facilement et efficacement des analyses de programme BDDBDDB (Base de données déductive basée sur BDD) est une mise en uvre de Datalog, un langage de programmation déclaratif similaire à PRolog pour parler de relations. Ce qui rend BDDBDDB unique, c'est qu'il représente les relations avec des diagrammes de décision binaire (BDD). Les BDD sont une structure de données qui peut représenter efficacement des relations importantes et fournir des opérations définies efficaces. Cela permet à BDDBDDB de représenter efficacement et de fonctionner à des relations extrêmement importantes - les relations trop volumineuses pour représenter explicitement.bdddddb peuvent être utilisées comme outils pour spécifier facilement et efficacement des analyses de programme. BDDBDDB peut être représenté comme des relations de base de données. L'élaboration d'une analyse de programme devient aussi simple que d'écrire la spécification de l'analyse dans un style déclaratif, puis de nourrir cette spécification à BDDBDDB, qui transforme automatiquement votre spécification en opérations de BDD efficaces. Exigences: · Java

BDDBDDB Logiciels associés