Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints の被参照

この source が mendaXiv 内の公開済み作品から参照された一覧です。

被引用作品数は同じ引用元 work 内の重複引用を 1 件として数えます。一覧は citation/reference 行なので、同じ work が複数行出ることがあります。

架空技術に対する安全工学的分析の認識論的意義――Design Fiction、反実仮想的モデル検査および研究対象の実在性をめぐって――