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

Some relevant papers:
<ul class="links">
  <li>"Introduction to Supercompilation"
    <ul>
      <li>_("D-364 abstract" | http://www.diku.dk/topps/bibliography/1999.html#D-364)</li>
      <li>_("paper (.ps.gz)" | ftp://ftp.diku.dk/diku/semantics/papers/D-364.ps.gz)</li>
    </ul>
  </li><li>_("A Roadmap to Metacomputation by Supercompilation"
            | http://citeseer.nj.nec.com/uck96roadmap.html)
  </li><li>_("Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree"
            | http://citeseer.nj.nec.com/gl93occams.html)
  </li><li>_("Metacomputation-based Compiler Architecture"
            | http://citeseer.nj.nec.com/harrison00metacomputationbased.html)
  </li><li>"Perfect Supercompilation"
    <ul>
      <li>_("D-376 abstract" | http://www.diku.dk/topps/bibliography/1999.html#D-376)</li>
      <li>_("paper (.ps.gz)" | ftp://ftp.diku.dk/diku/semantics/papers/D-376.ps.gz)</li>
    </ul>
</ul>
