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>_("Supercompiling Java Programs"|http://www.supercompilers.com/white_paper.shtml), SuperCompilers, LCC - White Paper.</li>
  <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>

