Coming from .NET (C#) development to do a bit of Objective-C coding, I have stumbled upon ARC (Automatic Reference Counting).
I know that C++ (and probably Objective-C) have deterministic destruction semantics, and ARC seems to be another step in the same direction.
While I am not familiar with the internals of it, I was wondering (at the theoretic level) whether an ARC equivalent could have been retrofitted on top of .NET (that uses a GC).