http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.9933
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7950
Помогает взглянуть на преобразование программ (по крайней мере, мне) с совсем новой стороны.
Что интересно попробовать делать в суперкомпиляторе:
- Специализация типов/конструкторов (как выглядят конструкторы и типы данных) - они в исходной и остаточной программах могут не совпадать
- Неплоские образцы - образцы в остаточной программе могут иметь более утонченную форму.
- Модули - (для так называемых модульных языков)
Среди прочего там упоминается и вложение областей видимостей (Nesting of Scopes).
Интересно, что суперкомпилятор HOSC изначально сделан без ограничения на вложение областей видимости.
No comments:
Post a Comment