2018年
Relatively Complete Refinement Type System for Verification of Higher-Order Non-deterministic Programs.
Proceedings of the ACM on Programming Languages
- ,
- ,
- 巻
- 2
- 号
- POPL
- 開始ページ
- 12:1-12:29
- 終了ページ
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1145/3158100
- 出版者・発行元
- ACM
- リンク情報
- ID情報
-
- DOI : 10.1145/3158100