bddbddb

Especificar de forma fácil y eficiente los análisis de programas
Descargar ahora

bddbddb Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • LGPL
  • Precio:
  • FREE
  • Nombre del editor:
  • bddbddb Team
  • Sitio web del editor:
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 502 KB

bddbddb Etiquetas


bddbddb Descripción

Especifique de manera fácil y eficiente los análisis de programas. BDDBDDB (Base de datos deductiva basada en BDD) es una implementación de DataLog, un lenguaje de programación declarativo similar a la prólogo para hablar sobre las relaciones. Lo que hace que BDDBDDB sea único es que representa las relaciones utilizando diagramas de decisión binaria (BDD). Los BDD son una estructura de datos que pueden representar de manera eficiente las grandes relaciones y proporcionar operaciones de conjunto eficientes. Esto permite que BDDBDDB sea una representación eficiente y opere en relaciones extremadamente grandes: las relaciones que son demasiado grandes para representar explícitamente .BDDBDDB se pueden usar como una herramienta para especificar de manera fácil y eficiente los análisis de programas. BDDBDDB puede representarse como relaciones de la base de datos. El desarrollo de un análisis del programa se vuelve tan simple como escribir la especificación para el análisis en un estilo declarativo y luego alimentar esa especificación a BDDBDDB, que transforma automáticamente su especificación en operaciones de BDD eficientes. Requisitos: · Java


bddbddb Software relacionado

Sobre nosotros