オブジェクト指向プログラムは、Automata、Process Algebras、Petri Nets、UML などのさまざまなモデルによってモデル化できます。これらのモデルの一部を使用して、さまざまな種類の分析を実行し、パフォーマンスまたは設計の問題を特定できます。
私は論理プログラミングについて勉強していますが、CLP にそのような種類のモデルがあるのだろうか? CLP プログラムの分析はどのように行いますか?
質問する
235 次
2 に答える
3
cTI_lt (制約に基づく左終端の終端推論)を見逃さないようにしてください!
終了推論は、終了分析/チェックの注釈なしの一般化です。これにより、プログラマーの焦点が特定のケースからリレーション全体に移ります。伝統的に、終了アナライザーは、特定のクラスのクエリが終了することを証明しようとします。このクラスはユーザーが提供する必要がありますが、プログラムが以前に注釈なしで作成されている場合、これはかなり面倒です。終了推論では、注釈は必要ありません。関連するすべての述語に対するすべての証明可能終了クラスが一度に推論され、述語の「多方向性」が示されます。これは、複数の「方向」で述語を安全に使用できることを意味します。
于 2015-04-23T11:30:00.020 に答える