Операционная семантика выражений в языке Rust на языке ABML

В статье рассматривается формальное описание операционной семантики выражений языка программирования Rust с использованием предметно-ориентированного языка моделирования ABML. Основное внимание уделяется динамическим аспектам вычислений, включая управление памятью, владение, заимствование и проверку конфликтов доступа на этапе выполнения. Предлагаемый подход опирается на онтологическое представление синтаксических и семантических сущностей Rust, что позволяет единообразно описывать выражения, блоки и структуры данных как элементы единой вычислительной модели. В отличие от традиционных формализаций, модель явно включает метаданные безопасности, необходимые для воспроизведения механизмов ownership и borrow checking. Особенностью работы является использование иерархической модели памяти, позволяющей корректно описывать частичное заимствование структур и доступ к их полям. Это обеспечивает более точную динамическую семантику по сравнению с плоскими моделями памяти и демонстрирует соответствие формальных правил реальному поведению программ на Rust. Полученная операционная семантика является исполняемой и может служить основой для анализа программ, прототипирования интерпретаторов и дальнейших исследований в области формальной верификации языков с управляемой безопасностью памяти.