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 TypeAnother 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