Does anyone have a summary of patents on major garbage collection and memory management algorithms, their status, usual licensing terms, and so on?