Contact Privacy DMCA

Robuta
https://library.keldysh.ru/preprint.asp?id=2008-26&lg=e A program specialization relation based on supercompilation and its properties based onprogramspecializationrelationsupercompilation