A Debugger-Cooperative Higher-Order Contract System in Python-Reference-Cited by-同舟云学术

A Debugger-Cooperative Higher-Order Contract System in Python

Published:2016 Issue: Volume: Page:148-168
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Arai Ryoya,Sato Shigeyuki,Iwasaki Hideya

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47958-3_9

Reference26 articles.

1. D12.1: High-level backends and interpreter feature prototypes. PyPy EU-Report (2007)

2. Carrillo-Castellon, M., Garcia-Molina, J., Pimentel, E., Repiso, I.: Design by contract in smalltalk. J. Object-Oriented Program 7(9), 23–28 (1996)

3. Chiş, A., Gîrba, T., Nierstrasz, O.: The moldable debugger: a framework for developing domain-specific debuggers. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2014, pp. 102–121. ACM (2014)

4. Chitil, O.: Practical typed lazy contracts. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012, pp. 67–76. ACM (2012)

5. Chugh, R., Herman, D., Jhala, R.: Dependent types for JavaScript. In: Proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2012, pp. 587–606. ACM (2012)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Refinement Type Contracts for Verification of Scientific Investigative Software;Lecture Notes in Computer Science;2020

2. IDVE;Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming;2019-04