>>145
OMG. I am not asking you to decide how much memory a program uses. I want a program that frees memory that is not referenced anymore statically.
How does the latter imply the former?
>>144
I thought halting complete meant undecidable. What's the definition of halting complete anyway?