Author:
Tobin-Hochstadt Sam,Van Horn David
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Model-Checking Higher-Order Effectful Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. Summary-Based Compositional Analysis for Soft Contract Verification;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10
3. Higher-order demand-driven symbolic evaluation;Proceedings of the ACM on Programming Languages;2020-08-02
4. Automatic and scalable detection of logical errors in functional programming assignments;Proceedings of the ACM on Programming Languages;2019-10-10
5. Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019;2019