論文

査読有り
2012年8月1日

A Session Type System with Subject Reduction

IEICE transactions on information and systems
  • IMAI Keigo
  • ,
  • YUEN Shoji
  • ,
  • AGUSA Kiyoshi

95
8
開始ページ
2053
終了ページ
2064
記述言語
英語
掲載種別
DOI
10.1587/transinf.E95.D.2053
出版者・発行元
一般社団法人 電子情報通信学会

Distributed applications and services have become pervasive in our society due to the widespread use of internet and mobile devices. There are urgent demands to efficiently ensure safety and correctness of such software. A session-type system is a framework to statically check whether communication descriptions conform to certain protocols. They are shown to be effective yet simple enough to fit in harmony with existing programming languages. In the original session type system, the subject reduction property does not hold. This paper establishes a conservative extension of the original session type system with the subject reduction property. Finally, it is also shown that our typing rule properly extends the set of typeable processes.

リンク情報
DOI
https://doi.org/10.1587/transinf.E95.D.2053
CiNii Articles
http://ci.nii.ac.jp/naid/10031126714
CiNii Books
http://ci.nii.ac.jp/ncid/AA10826272
URL
http://search.ieice.org/bin/summary.php?id=e95-d_8_2053
URL
http://dblp.uni-trier.de/db/journals/ieicet/ieicet95d.html#journals/ieicet/ImaiYA12

エクスポート
BibTeX RIS