Proof of Absence of Memory Leaks in Argentum (Multithreaded Case)
Each thread has its own mutable object hierarchy that is proven to be leak-free. All threads share the common immutable objects that have no loops in topology and thus can be handled with simple ref-counting. Since these objects are immutable,…