Detecting Static Algorithms by Partial Evaluation.

Bjrn Lisper

Browse the full PEPM paper archive.