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