主催: 日本ソフトウェア科学会
独立行政法人 産業技術総合研究所 システム検証研究ラボ 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻
独立行政法人 産業技術総合研究所 システム検証研究ラボ
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
Cousot らによる抽象解釈の理論において暗黙的に用いられている圏論的な構成をいくつか明示し,より広い応用のための基礎を与えることを試みる.
すでにアカウントをお持ちの場合 サインインはこちら