Язык описания преобразований программ
В статье представлен язык описания преобразований программ. Данный язык предназначен для формализации формул контекстных условий и формул трансформаций с целью их последующего хранения и автоматической обработки.
Ключевые слова: