抽象解釈にみられる圏論的構成について - 西澤, 弘毅; 木下, 佳樹 (日本ソフトウェア科学会大会講演論文集, 2003)
Cousot らによる抽象解釈の理論において暗黙的に用いられている圏論的な構成をいくつか明示し，より広い応用のための基礎を与えることを試みる．