観察的等価性のための堅牢なグラフベースのアプローチ

本稿では、プログラムの観察的等価性を証明するための新しい段階的アプローチを提案する。これは、局所的な推論と呼ばれる手法と、観察的等価性の鍵となる十分条件として堅牢性の概念を導入することで実現される。