Трансформация программы

— Преобразование программы это любая операция, которая берет компьютерную программу и создает другую программу. Во многих случаях преобразованная программа должна быть семантически эквивалентна оригиналу относительно определенной формальной семантики , а в меньшем количестве случаев преобразования приводят к созданию программ, которые семантически отличаются от оригинала предсказуемым образом. ^[1]

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

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

Обобщением семантической эквивалентности является понятие уточнения программы : одна программа является уточнением другой, если она завершается во всех начальных состояниях, в которых завершается исходная программа, и для каждого такого состояния она гарантированно завершается в возможном конечном состоянии для оригинальная программа. Другими словами, усовершенствованная программа более определена и более детерминирована , чем исходная программа. Если две программы являются усовершенствованиями друг друга, то они эквивалентны. ^{[ нужны разъяснения ]}

См. также [ править ]

Ссылки [ править ]

^ Уорд, Мартин (1989). Доказательство усовершенствований и преобразований программы (докторская диссертация). Оксфордский университет. {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )

Внешние ссылки [ править ]

Программа трансформации Wiki
Статьи по теории и практике трансформации программ
Библиография по технологиям трансформации
Набор инструментов для реинжиниринга программного обеспечения DMS : система преобразования программ для DSL и современных (C++, Java, ...) и устаревших (COBOL, RPG) компьютерных языков.
Spoon : библиотека для анализа, преобразования, переписывания и передачи исходного кода Java. Он анализирует исходные файлы для создания хорошо продуманного AST с мощным API анализа и преобразования.
JavaParser : библиотека JavaParser предоставляет вам абстрактное синтаксическое дерево вашего Java-кода. Структура AST позволяет вам легко и программно работать с вашим Java-кодом.

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее .

[Ward_1989-1] Уорд, Мартин (1989). Доказательство усовершенствований и преобразований программы (докторская диссертация). Оксфордский университет. {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )

[1]