SCP

SCP is an acronym for Supervised Compilation or Supercompilation.

This page is linked from: A taxonomy of program transformers   Supercompilation   Valentin F. Turchin