Замулин, А. В. Абстрактная модель компилятора как результат алгебраической семантики языка программирования. [Текст] / А. В. Замулин // Программирование. - 2004. - N 5. - С. . 69-80. - Библиогр.: с. 80 (4 назв. ). - RUMARS-prog04_000_005_0069_1
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование) Кл.слова (ненормированные): программы -- языки программирования -- семантика -- компиляторы -- символы -- сигнатура Аннотация: Предложен новый механизм описания семантики императивного языка программирования, основанный на построении математической модели программы. Нет сведений об экземплярах (Источник в БД не найден) |