Программируем операционную семантику языков программирования

В статье представлен метод описания операционной семантики языков программирования. Он основан на предметно-ориентированном языке, предназначенном для определения исполняемых спецификаций конструкций языка программирования. Этот язык является расширением языка Lisp. Особенностью метода является задание семантики для модели программы, а не для самой программы. Поскольку спецификации являются исполняемыми, метод фактически позволяет "программировать" семантику языков программирования. Метод может быть использован в преподавании компьютерных языков, а также в создании новых языков программирования, поскольку позволяет описывать конструкции нового языка сразу на уровне абстрактного синтаксического дерева.