Author:
Zakowski Yannick,Cachera David,Demange Delphine,Petri Gustavo,Pichardie David,Jagannathan Suresh,Vitek Jan
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards a Model Checking Framework for a New Collector Framework;Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes;2022-09-14
2. Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example;Formal Aspects of Computing;2019-06
3. A Verified Generational Garbage Collector for CakeML;Journal of Automated Reasoning;2018-11-03
4. Verified compilation of linearizable data structures;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09