Author:
Chugh Ravi,Rondon Patrick M.,Jhala Ranjit
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An empirical study of the Python/C API on evolution and bug patterns;Journal of Software: Evolution and Process;2022-09-06
2. Migrating gradual types;Journal of Functional Programming;2022
3. Analysis of JavaScript Programs;ACM Computing Surveys;2018-07-31
4. Soft contract verification for higher-order stateful programs;Proceedings of the ACM on Programming Languages;2018-01
5. A vision for online verification-validation;ACM SIGPLAN Notices;2017-05-12