A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?

Alexei Lisitsa, Andrei P. Nemytykh

Browse the full CAV paper archive.