Search for 'an:2240970' with limit(s): 'suppress:false'

Полипрограммы как представление множеств функциональных программ и преобразования над ними

By Гречаник Сергей Александрович.
Москва ИПМ РАН 2017 .
31 с. , На обл.: ISSN 2071-2898 | Рез. на англ. яз. 21.

Теоретические основы разработки компиляторов , учебное пособие , [для студентов 2-3 курса направления подготовки "Программная инженерия" (230100.62 бакалавр)]

By Л.Г. Нехорошкова.
Йошкар-Ола ПГТУ 2014 .
218 с. 20.
978-5-8158-1306-9

Теория компиляции , Справ. материалы

By В. Н. Тимкин.
Новосибирск НГПУ 2000 .
30,[2] с. 21.

TT Lite: a supercompiler for Martin-Löf's type theory

By Ilya G. Klyuchnikov, Sergei A. Romanenko.
Moscow ИПМ РАН 2013 .
28 с. , На обороте тит. л.: TT Lite: суперкомпилятор для теории типов Мартина-Лефа / Илья Ключников, Сергей Романенко | На обл. надзаг. на рус. яз. | Рез на рус. яз. 21.

Теоретические основы построения компиляторов , учебное пособие

By Т.В. Панова, Н.Д. Николаева.
Санкт-Петербург Балтийский государственный технический университет 2017 .
86, [2] с. 21.
978-5-5906920-35-5

Классическая теория компиляторов , [Учеб. пособие]

By В. Э. Карпов.
М. МГИЭМ 2002 .
78 с. 20.
5-230-16344-5

Staged multi-result supercompilation: filtering before producing

By Sergei A. Grechanik, Ilya G. Klyuchnikov, Sergei A. Romanenko.
Moscow ИПМ РАН 2013 .
28 с. , На обороте тит. л.: Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения / С.А. Гречаник, И.Г. Ключников, С.А. Романенко | На обл. надзаг. на рус. яз. | Рез на рус. яз. 20.

Supercompilation by hypergraph transformation

By S.A. Grechanik.
Москва ИПМ РАН 2013 .
24 c. , На обороте тит. л.: Суперкомпиляция путем преобразования гиперграфа / Сергей Гречаник | Рез. на рус. яз. 21.