Abstract
We report on our experience with designing, implementing, proving correct, and evaluating a region-based memory management system.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
https://doi.org/10.1023/b:lisp.0000029446.78563.a4
Publication Date: Sep 1, 2004 | |
Citations: 108 | License type: other-oa |
We report on our experience with designing, implementing, proving correct, and evaluating a region-based memory management system.
Join us for a 30 min session where you can share your feedback and ask us any queries you have