8

Основная идея суперкомпиляции

Обычное вычисление с конкретными данными, состояниями		Суперкомпиляция: вычисление с обобщенными данными (множествами состояний, заданными в параметрическом виде)
							...x...y...
¯							¯
							...y...x...
¯							if y=1 ...
...							l		m
¯					...1...x...				...y...x...
					l		m		l		m
¯			...x...				...x...		...x...		...x...y...
			l		m		...		l m		¯
		...				...			...         ...		...
линейный путь		дерево, граф путей

 
Суперкомпиляция =

1. Прогонка (driving):
   построение бесконечного дерева путей
    
2. Конфигурационный анализ:
   свертка бесконечного дерева в конечный граф путем
   • зацикливания
   • обобщения конфигураций
   • расщепления конфигураций