Маевский, М. С. Язык описания преобразований программ [Текст] / М. С. Маевский // Информатика и системы управления. - 2008. - N 1 (15). - С. 131-141. - Библиогр.: с. 141 (6 назв. ) . - ISSN 1814-2400
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): программы -- преобразования программ -- компиляция -- язык описания преобразований программ (ЯОПП) -- ЯОПП -- семантика языка -- операционная семантика языка -- синтаксис языка -- оптимизирующие преобразования Аннотация: В статье представлен язык описания преобразований программ. Данный язык предназначен для формализации формул контекстных условий и формул трансформаций с целью их последующего хранения и автоматической обработки. |