Name: Anonymous 2016-01-16 16:26
Implement a compile-time garbage collector for an existing* language, all (also existing*) implementations of which uses a runtime garbage collector.
The compiler must accept the same set of input programs as the existing* implementation(s) (of your choice).
The programs output by your compiler must behave identically to the original implementation (modulo memory management) and must be provably memory-leak free. (Demonstrably memory-leak free is acceptable if no submissions are provably so).
You will receive extra points for also implementing compile-time array bounds checking.
You have until 2016-12-31 23:59:59 UTC.
* As of 2016-01-16 00:00:00 UTC.
The compiler must accept the same set of input programs as the existing* implementation(s) (of your choice).
The programs output by your compiler must behave identically to the original implementation (modulo memory management) and must be provably memory-leak free. (Demonstrably memory-leak free is acceptable if no submissions are provably so).
You will receive extra points for also implementing compile-time array bounds checking.
You have until 2016-12-31 23:59:59 UTC.
* As of 2016-01-16 00:00:00 UTC.