DMCA

Formalizing and Implementing Multi-Result Supercompilation (2012)

by Ilya G. Klyuchnikov , Sergei A. Romanenko
Venue:THE THIRD INTERNATIONAL VALENTIN TURCHIN WORKSHOP ON METACOMPUTATION