Imperative program optimization by partial evaluation.

Sren Debois

Browse the full PEPM paper archive.