Категория:Преобразование программ

Проблематика преобразований и оптимизации программ, развитие которой долгое время было связано с автоматизацией программирования методом трансляции, становится особенно актуальной в связи с возрастанием роли трансформационного подхода к программированию. Трудно переоценить ту роль, которую играют трансформационные методы в создании инструментальных средств поддержки программирования, начиная от простых редактирующих средств и кончая системами трансформационного синтеза. Обычно процесс конструирования программ методами преобразований начинается с ее спецификации — формального описания задачи или корректной и максимально простой, но не эффективной версии программы, как правило, имеющей вид рекурсивных уравнений (равенств термов). Затем применяются сохраняющие корректность преобразования программы (или спецификации) с целью повышения ее эффективности, в процессе которых реализуется переход от одной модели программ к другой, например, от рекурсивных программ к итеративным или от последовательных программ к асинхронным. При этом результирующая программа корректна по построению.