Automating relatively complete verification of higher-order functional programs
収録刊行物
-
- Proceeding POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
-
Proceeding POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages 75-86, 2013-01
ACM
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050282677609646592
-
- NII論文ID
- 120007136948
-
- HANDLE
- 2241/119377
-
- 本文言語コード
- en
-
- 資料種別
- conference paper
-
- データソース種別
-
- IRDB
- CiNii Articles