A Debugger-Cooperative Higher-Order Contract System in Python

Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki. A Debugger-Cooperative Higher-Order Contract System in Python. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 148-168, 2016. [doi]

@inproceedings{AraiSI16,
  title = {A Debugger-Cooperative Higher-Order Contract System in Python},
  author = {Ryoya Arai and Shigeyuki Sato and Hideya Iwasaki},
  year = {2016},
  doi = {10.1007/978-3-319-47958-3_9},
  url = {http://dx.doi.org/10.1007/978-3-319-47958-3_9},
  researchr = {https://researchr.org/publication/AraiSI16},
  cites = {0},
  citedby = {0},
  pages = {148-168},
  booktitle = {Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  editor = {Atsushi Igarashi},
  volume = {10017},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-47957-6},
}