論文

査読有り 本文へのリンクあり 国際誌
2018年

Relatively Complete Refinement Type System for Verification of Higher-Order Non-deterministic Programs.

Proceedings of the ACM on Programming Languages
  • Hiroshi Unno
  • ,
  • Yuki Satake
  • ,
  • Tachio Terauchi

2
POPL
開始ページ
12:1-12:29
終了ページ
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1145/3158100
出版者・発行元
ACM

リンク情報
DOI
https://doi.org/10.1145/3158100 本文へのリンクあり
URL
http://doi.acm.org/10.1145/3158100 本文へのリンクあり
URL
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#journals/pacmpl/0001ST18
ID情報
  • DOI : 10.1145/3158100

エクスポート
BibTeX RIS