Author:
Chin Wei-Ngan,Nguyen Huu Hai,Qin Shengchao,Rinard Martin
Publisher
Springer Berlin Heidelberg
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A High-Level Separation Logic for Heap Space under Garbage Collection;Proceedings of the ACM on Programming Languages;2023-01-09
2. A separation logic for heap space under garbage collection;Proceedings of the ACM on Programming Languages;2022-01-12
3. MemLock;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
4. A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs;Proceedings of the Eighth International Symposium on Information and Communication Technology;2017-12-07
5. Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs;Theoretical Aspects of Computing – ICTAC 2016;2016