index.htm

Supercompilation of  Double Interpretation

(How One Hour of the Machine's Time Can Be Turned to One Second)

Alexandr Korlyukov, Andrei Nemytykh

                       

Суперкомпиляция двойной интерпретации

(как один час машинного времени можно превратить в одну секунду)

   Александр Корлюков, Андрей Немытых

    Введение.

1. Машина Тьюринга.

2. Язык преобразования документов XSLT: эксперименты с суперкомпилятором Scp4.

2.1. Языки XML, DTD, XSLT.

2.2. Регулярные выражения.

2.3. Интерпретатор XSLT на рефале и суперкомпиляция его.

2.4. Интерпретатор машины Тьюринга на языке XSLT.

2.5. Эксперименты по суперкомпиляции двойной интерпретации.

2.5.1. Об адекватной выразимости результата суперкомпиляции.

2.5.2. Тестирование: числовой анализ.

3. Синтаксический анализ.

3.1. Полукомпозиционность.

3.2. Ограниченная статическая вариация.

3.3. Динамическая типизация.

3.4. Неравномерность шагов машины.

3.4. О соотношении временной сложности.

   Литература

program.zip - все программы, упомянутые в тексте статьи

scp2int.zip - текст целиком