|
IWASAKI HIDEYA
Department Undergraduate School , School of Science and Technology Position Professor |
|
| Language | English |
| Publication Date | 2016/11 |
| Type | International Conference |
| Peer Review | Peer reviewed |
| Title | A Debugger-Cooperative Higher-Order Contract System in Python |
| Contribution Type | Co-authored (other than first author) |
| Journal | Proc. 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), Lecture Notes in Computer Science 10017 |
| Journal Type | Another Country |
| Publisher | Springer Verlag |
| Volume, Issue, Page | pp.148-168 |
| Author and coauthor | Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki |
| Details | 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 |