A Debugger-Cooperative Higher-Order Contract System in Python. - Ryoya Arai; Shigeyuki Sato 001; Hideya Iwasaki (APLAS, 2016)