Математические основы информатики и программирования

Анализ некоторых семантических аспектов исходных текстов программ на основе формальных спецификаций синтаксиса и семантики

А. М. Саух

Институт динамики систем и теории управления, г. Иркутск

УДК: 004.4'41