Создание формальных спецификаций языков программирования - актульная задача теории и практики программирования. В работе представлен операционно-онтологический подход к формальной спецификации языков программирования. Он включает формализм для задания операционно-онтологической семантики языков программирования - онтологические системы переходов, язык описания онтологических систем переходов OTSL и методологию применения языка OTSL к разработке формальных спецификаций языков программирования.
展开▼