著者

西澤 弘毅 木下 佳樹

出版者

日本ソフトウェア科学会

雑誌

日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)

巻号頁・発行日

pp.51, 2003 (Released:2003-12-17)

---

Cousot らによる抽象解釈の理論において暗黙的に用いられている圏論的な構成をいくつか明示し,より広い応用のための基礎を与えることを試みる.