bddbddb. facilmente e eficientemente especificar análises de programas
Baixe Agora

bddbddb. Classificação e resumo

bddbddb. Tag

analisar analisador Análise do programa BDD. analisar programa Analisador de programas

bddbddb. Descrição

Especifique com facilidade e eficiência as análises do programa BDDBDDB (banco de dados dedutivo baseado em BDD) é uma implementação do DataLog, uma linguagem de programação declarativa semelhante ao prolog para falar sobre as relações. O que torna o BDDBDDB único é que representa as relações usando diagramas de decisão binária (BDDs). Os BDDs são uma estrutura de dados que podem representar eficientemente grandes relações e fornecer operações de conjunto eficientes. Isso permite que o BDDBDDB seja eficiente represente e opere em relações extremamente grandes - relações que são muito grandes para representar explicitly.bdDDDB podem ser usadas como uma ferramenta para especificar facilmente e eficientemente análises de programas. O BDDBDDB pode ser representado como relações de banco de dados. Desenvolver uma análise do programa torna-se tão simples quanto escrever a especificação para a análise em um estilo declarativo e, em seguida, alimentando essa especificação para o BDDBDDB, que automaticamente transforma sua especificação em operações eficientes em operações de BDD eficientes. Requisitos: · Java.

bddbddb. Software Relacionado