Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.
Saved in:
| Title: | Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. |
|---|---|
| Authors: | Moine, Alexandre1 (AUTHOR) alexandre.moine@nyu.edu, Charguéraud, Arthur2 (AUTHOR) arthur.chargueraud@inria.fr, Pottier, François3 (AUTHOR) francois.pottier@inria.fr |
| Source: | ACM Transactions on Programming Languages & Systems. Mar2025, Vol. 47 Issue 1, p1-71. 71p. |
| Database: | Business Source Ultimate |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3716312 |
