Основні поняття
データ透明性と関連入力に焦点を当てる新しいプログラム分析フレームワークを紹介する。
Анотація
この記事では、データがどのように出力と関連しているかを理解するための新しいプログラム分析フレームワークが紹介されています。共役演算子を使用して、関連入力や関連出力などの概念が導入され、動的依存グラフを通じて対話型探索をサポートします。これにより、データ透明性が向上し、研究成果の理解と再利用が容易になります。
Статистика
Charts, figures, and text derived from data play an important role in decision making.
New program analysis framework supports interactive exploration of fine-grained I/O relationships.
Jonsson and Tarski’s concept of conjugate operators appropriately characterizes the notion of cognacy in a dependence graph.
Цитати
"Interpreting visual and textual summaries is essential to making informed decisions."
"New program analysis framework supports interactive exploration of fine-grained I/O relationships."
"Galois connections lend themselves well to bidirectional reasoning about resource consumption."