Введение в частичное вычисление

Частичное вычисление представляет собой объединяющую парадигму для широкого спектра исследований в области оптимизации программ, компиляции, интерпретации и генерации автоматических генераторов программ [Bjørner et al. 1987; Ershov 1992; and Jones et al. 1993]. Это метод оптимизации программ, который, возможно, точнее было бы назвать специализацией программ; он тесно связан с поэтапными преобразованиями Jørring и Scherlis [1986], но отличается от них. По сравнению с работами Burstall и Darlington [1977], Jørring и Scherlis [1986] и других исследователей по преобразованию программ этот подход делает акцент на полной автоматизации и генерации генераторов программ, а также на преобразовании отдельных программ. Значительная часть выполненных к настоящему времени исследований по частичному вычислению посвящена автоматической генерации компиляторов на основе интерпретативного определения языка программирования, однако частичное вычисление имеет также важные приложения в научных вычислениях, логическом программировании, метапрограммировании и экспертных системах; некоторые ссылки на такие работы приведены далее.