Author:
Berdine Josh,Chawdhary Aziem,Cook Byron,Distefano Dino,O'Hearn Peter
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Extending the Range of Bugs That Automated Program Repair Can Handle;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12
2. Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
3. Termination analysis without the tears;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics;Electronic Proceedings in Theoretical Computer Science;2019-02-22
5. From Shapes to Amortized Complexity;Lecture Notes in Computer Science;2017-12-29