Absolutely valid point, that's why I didn't want to stick specifically on C++ (even though it'd be easier specifically for raw heap memory).

As mentioned about though, GC algorithms can be transferred to higher-level system as well. For example, here is a basic Mark-Sweep algorithm implemented in JavaScript on JS objects in a collection: https://gist.github.com/DmitrySoshnikov/4391763