イワサキ　ヒデヤ   IWASAKI HIDEYA   岩崎　英哉    所属   明治大学  理工学部    職種   専任教授
言語種別	英語
発行・発表の年月	2016/11
形態種別	国際会議議事録
査読	査読あり
標題	A Debugger-Cooperative Higher-Order Contract System in Python
執筆形態	共著(筆頭者以外)
掲載誌名	Proc. 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), Lecture Notes in Computer Science 10017
掲載区分	国外
出版社・発行元	Springer Verlag
巻・号・頁	pp.148-168
著者・共著者	Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
概要	Contract programming is one of the most promising ways of enhancing the reliability of Python, which becomes increasingly desired. Higher-order contract systems that support fully specifying the behaviors of iterators and functions are desirable for Python but have not been presented yet. Besides, even with them, debugging with contracts in Python would still be burdensome because of delayed contract checking. To resolve this problem, we present PyBlame, a higher-order contract system in Python, and ccdb, a source-level debugger equipped with features dedicated to debugging with delayed contract checking. PyBlame and ccdb are designed on the basis of the standard of Python and thus friendly to many Python programmers. We have experimentally confirmed the advantage and the efficacy of PyBlame and ccdb through the web framework Bottle.
DOI	10.1007/978-3-319-47958-3_9
ISSN	1611-3349