Частичная оценка
-
Частичная оценка в вычислительной технике
- Частичная оценка — метод оптимизации программ для специализации.
- Создает новые программы, которые работают быстрее и ведут себя так же, как исходные.
-
Статические и динамические данные
- Ястатический — статические данные, известные во время компиляции.
- Ядинамический — динамические данные, известные во время выполнения.
-
Преобразование программы
- Частичный вычислитель преобразует программу с учетом статических данных.
- Остаточная программа, pprog*, выполняется более эффективно, чем исходная.
-
Примеры частичной оценки
- Йошихико Футамура описал использование частичной оценки в интерпретаторах.
- Первая проекция Футамуры позволяет создавать исполняемые файлы из исходного кода.
- Вторая проекция создает компиляторы из специализированных интерпретаторов.
- Третья проекция позволяет преобразовывать интерпретаторы в эквивалентные компиляторы.
-
Дополнительные темы
- Упоминаются другие методы оптимизации, такие как выполнение функций во время компиляции и снижение прочности.
- Ссылки на внешние ресурсы и рекомендации по использованию частичной оценки в динамических языках программирования.
Полный текст статьи: