Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
Cousot, P., & Cousot, R. (1977). Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 238–252.
Published papers using this source
架空技術に対する安全工学的分析の認識論的意義――Design Fiction、反実仮想的モデル検査および研究対象の実在性をめぐって――
背景： 未実装の技術や仮想的なシステムに対する安全工学的分析は、技術の実用化に先立つ危険の同定、設計要求の導出、および制度的問題の探索に用いられている。しかし、研究対象が物理的実現可能性を前提としない創作上の技術である場合、分析によって得られる知見の認識論的地位は必ずしも明確ではない。Design Fiction研究では、架空の製品や研究結果を学術的形式によ...
2026-10-19 18:03 UTC