Author:
Yi Jaeheon,Disney Tim,Freund Stephen N.,Flanagan Cormac
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Error Localization for Sequential Effect Systems;Static Analysis;2023
2. SOFRITAS;ACM SIGPLAN Notices;2018-11-30
3. SOFRITAS;Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems;2018-03-19
4. Non-preemptive Semantics for Data-Race-Free Programs;Theoretical Aspects of Computing – ICTAC 2018;2018
5. Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency;Programming Languages and Systems;2017