How does PTC and Aicas does GC? Is it ref counted? I'm guessing they aren't doing moving collectors.
One of the founding members of Aicas is the author of "Hard Realtime Garbage Collection in Modern Object Oriented Programming Languages" book, which was done as part of his PhD.