Об одной модели последовательных программ с динамической памятью.
Авторы
Аннотация
В статье описана новая модель последовательных программ с динамической памятью. Модель вводится за счет расширения известной первопорядковой стандартной модели программ со статической памятью. В новой модели наряду с операторами присваивания, ветвления и итерации разрешается использование операторов выделения памяти, косвенной адресации, а также термов, значениями которых являются адреса памяти. В построенной модели программ определены синтаксис и операционная семантика программ. Предполагается, что новая модель программ будет использоваться для формального обоснования корректности обфускирующих преобразований программ в тех случаях, когда усложнение структуры программы достигается за счет использования указателей и манипуляции с динамической памятью.
Ключевые слова
Издание
Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 112-116.