Or Supervised Compilation (_(SCP)) is a program transformation technique by _(Valentin F. Turchin) which he applied originally to the _(programming language) _(REFAL).
