|
Ануреев, И. С. Операционно-онтологический подход к формальной спецификации языков программирования [Текст] / И. С. Ануреев // Программирование. – 2008. – № 1. – С. 50-60.
В работе представлен операционно-онтологический подход к формальной спецификации языков программирования. |