クロ辞符 Crocopatは、シンプルで効率的なリレーショナル計算のためのツールです。
今すぐダウンロード

クロ辞符 ランキングとまとめ

クロ辞符 タグ

関連した の構造 計算 リレーショナル計算 構造解析 BDD変数

クロ辞符 説明

Crocopatは、シンプルで効率的なリレーショナル計算のためのツールです。 Crocopatは、シンプルで効率的なリレーショナル計算のためのツールです.Relational Computation.Crocopatは、グラフ（バイナリ関係である）を含むあらゆる味の関係を操作します。そのシンプルで表現力豊かなクエリと操作言語は、一次述語計算に基づいています。実装は、コンピュータ支援検証における大きな関係のコンパクトな表現としてよく知られているデータ構造の2進決定図（BDD）に基づいています。 Crocopatは他のツールと統合しやすいため、Simple Tuple Format.comのシンプルなタプルフォーマットでファイルとの関係を読み書きすることができますので、ソフトウェアシステムの構造解析はリレーショナルクエリとして形式化できます。デザインのデザインのデザインパターン、デッドコードのコードクローンのパターン、そしてまとめと設計されたアーキテクチャとの間の違い。その効率とその表現的な言語を通して、Crocopatは他のグラフ分析ツール、特に推移的な閉鎖とグラフのパターンの検出を含む分析では不可能な実世界ソフトウェアシステムの実質的に重要な分析を可能にします。高レベルBDDパッケージ。標準的なBDDパッケージは、ビット上の関係を操作するための操作を提供し、Crocopatライブラリは文字列に対する関係の操作を可能にします。これは、BDD変数へのバイナリエンコーディングとユーザー変数へのマッピングプログラマを軽減します。このリリースでは新しくなっています。

クロ辞符 関連ソフトウェア