APA (7th ed.) Citation

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 Style (17th ed.) Citation

Moine, Alexandre, Arthur Charguéraud, and 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 (9th ed.) Citation

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.