Author:
Gotsman Alexey,Cook Byron,Parkinson Matthew,Vafeiadis Viktor
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A program logic for obstruction-freedom;Frontiers of Computer Science;2023-12-28
2. Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings;Journal of Automated Reasoning;2016-12-17
3. First-class effect reflection for effect-guided programming;ACM SIGPLAN Notices;2016-12-05
4. First-class effect reflection for effect-guided programming;Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2016-10-19
5. A program logic for concurrent objects under fair scheduling;ACM SIGPLAN Notices;2016-04-08