Author:
Bierhoff Kevin,Aldrich Jonathan
Publisher
Defense Technical Information Center
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards generating thread-safe classes automatically;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
2. The implementation of the Mezzo type-checker;Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13;2014
3. Rely-Guarantee Protocols;ECOOP 2014 – Object-Oriented Programming;2014
4. Alias Control for Deterministic Parallelism;Lecture Notes in Computer Science;2013
5. Fractional Permissions;Lecture Notes in Computer Science;2013