抽象解釈にみられる圏論的構成について

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

Saved in:
Bibliographic Details
Published in日本ソフトウェア科学会大会講演論文集 p. 51
Main Authors 西澤, 弘毅, 木下, 佳樹
Format Journal Article
LanguageJapanese
Published 日本ソフトウェア科学会 2003
Online AccessGet full text
ISSN1349-3515
DOI10.11309/jssstconference.2003.0.51.0

Cover

More Information
Summary:Cousot らによる抽象解釈の理論において暗黙的に用いられている圏論的な構成をいくつか明示し，より広い応用のための基礎を与えることを試みる．
Bibliography:3A-2
ISSN:1349-3515
DOI:10.11309/jssstconference.2003.0.51.0