Supercompilation 1 is a program transformation technique that symbolically evaluates a given program, with run-time values as unknowns. In doing so, it discovers execution patterns of the original ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback