Moine, A., Charguéraud, A., & Pottier, F. (2025). Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. ACM Transactions on Programming Languages & Systems, 47(1), 1-71. https://doi.org/10.1145/3716312
Chicago-Zitierstil (17. Ausg.)Moine, Alexandre, Arthur Charguéraud, und François Pottier. "Will It Fit? Verifying Heap Space Bounds of Concurrent Programs Under Garbage Collection." ACM Transactions on Programming Languages & Systems 47, no. 1 (2025): 1-71. https://doi.org/10.1145/3716312.
MLA-Zitierstil (9. Ausg.)Moine, Alexandre, et al. "Will It Fit? Verifying Heap Space Bounds of Concurrent Programs Under Garbage Collection." ACM Transactions on Programming Languages & Systems, vol. 47, no. 1, 2025, pp. 1-71, https://doi.org/10.1145/3716312.