Towards Effective Two-Level Supercompilation

Представлены некоторые усовершенствования к методу двухуровневой суперкомпиляции: быстрый метод поиска лемм, основанный на анализе выражений в узлах частичного дерева процесса, улучшенный алгоритм распознавания улучшающих лемм, основанный на нормализации аннотаций (“тиков”), а также некоторые методы упрощения лемм, обнаруженных в процессе двухуровневой суперкомпиляции.