Author:
Balakrishnan Gogul,Sankaranarayanan Sriram,Ivančić Franjo,Gupta Aarti
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Termination analysis without the tears;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. Verifying correct usage of context-free API protocols;Proceedings of the ACM on Programming Languages;2021-01-04
3. Refinement of path expressions for static analysis;Proceedings of the ACM on Programming Languages;2019-01-02
4. Volume-Based Merge Heuristics for Disjunctive Numeric Domains;Static Analysis;2018
5. Programs from Proofs;ACM Transactions on Programming Languages and Systems;2017-05-29