Т. 322, № 5 : Управление, вычислительная техника и информатика

Онтологические системы перехода и их применение к семантике компьютерных языков

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

Ключевые слова:

спецификация, операционно-онтологическая семантика, компьютерные языки, онтологии, системы переходов, электронный ресурс,

Авторы:

Скачать PDF