Author:
Aldrich Jonathan,Tanter Éric,Wolff Roger,Bocchino Robert,Garcia Ronald,Hahnenberg Mark,Mohr Manuel,Naden Karl,Saini Darpan,Stork Sven,Sunshine Joshua
Cited by
2 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. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language;Programming Languages and Systems;2020