Author:
Donnelly Kevin,Hallett J. J.,Kfoury Assaf
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?;Proceedings of the ACM on Programming Languages;2023-06-06
2. From Specification to Testing: Semantics Engineering for Lua 5.2;Journal of Automated Reasoning;2022-08-11
3. M
emo
D
yn;Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques;2018-11
4. A calculus for java's reference objects;ACM SIGPLAN Notices;2007-08