Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления

Рассматриваются следующие вопросы, связанные с суперкомпиляцией: (1) использование отношения гомеоморфного вложения для обеспечения завершаемости процесса суперкомпиляции, (2) особенности суперкомпиляции для языков с передачей параметров по имени и с передачей параметров по значению и (3) преимущества и недостатки суперкомпиляции по сравнению с частичными вычислениями.