Compiler Support for GC in Statically Typed Languages
Requirements
- avoidance of use of special hardware support
- use of highly-optimizing compiler
- no defeat or disallowance of compiler optimizations
- challenge since compiler/optimizer may introduce complex pointer manipulation
- avoidance of tagging
- compiler knows which global variables, stack locations and registers contain pointers