Приложение
для AndroidПолное описание
Бодин, Е. В. Проект верифицирующего компилятора. Ч.1. Общее описание проекта F BOOL , его место в компонентном подходе к программированию. Язык Mini-NIL - прототип языка виртуальной машины проекта / Е. В. Бодин, Н. А. Калинина, Н. В. Шилов. - Новосибирск : [б. и.], 2005. - 22 с. : ил. - (Препринт / Институт систем информатики(Новосибирск) ; 131 = М/49881). - Библиогр.: с. 22(10 назв.). - 60 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.05.13 | 004.422.8'422(04) |
Рубрики:
Компиляторы программ
Доп. точки доступа:
Калинина, Н.А.
Шилов, Н.В.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Замулин А.В. The database specification language Ruslan : A preliminary communication / А.В.Замулин, 1994. - 35 p. - Текст : непосредственный.Сабельфельд В.К. Анализ свойств рекурсивных схем и проблема древесной эквивалентности / В.К.Сабельфельд, 1994. - 42 c. - Текст : непосредственный.Вирбицкайте И.Б. Семантические модели потоковых вычислений / И.Б.Вирбицкайте,А.В.Вотинцева, 1993. - 29 c. - Текст : непосредственный.Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный.Городняя Л.В. Принципы конструирования электронного учебника по информационной стилистике русского языка / Л.В.Городняя,Г.П.Несговорова, 1994. - 19 c. - Текст : непосредственный.Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный.Загорулько Ю.А. Технология конструирования развитых систем обработки знаний на основе семантических сетей и систем продукций / Ю.А.Загорулько, 1994. - 65 c. - Текст : непосредственный.Поттосин И.В. О критериях добротности программ / И.В.Поттосин, 1966. - 35 с. - Текст : непосредственный.Колдаков В.В. Реализация распределенной базы данных в концепции информационного хранилища / В. В. Колдаков, В. В. Марусин, Е. М. Шаталов, 1996. - 26 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 43 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 39 с. - Текст : непосредственный.Кадач А.В. Свойства кодов Хаффмана и эффективные методы декодирования префиксных кодов / А.В.Кадач, 1997. - 44 с. - Текст : непосредственный.Леонов М.В. Эффективный алгоритм, реализующий замкнутый набор булевых операций над множествами многоугольников на плоскости / М.В.Леонов,А.Г.Никитин, 1997. - 24 с. - Текст : непосредственный.Вотинцева А.В. Исследование эквивалентностей для структур событий / А.В.Вотинцева, 1997. - 30 с. - Текст : непосредственный.Кадач А.В. Эффективные методы создания и передачи префиксных кодов / А.В.Кадач, 1997. - 27 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры с цветными фишками / А.П.Устименко, 1997. - 22 с. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.Черноножкин С.К. Средства профилирования программ в системе СОКРАТ / С.К.Черноножкин, 1998. - 20 с. - Текст : непосредственный.Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыЗонд системы ТРИО : Инструкция по эксплуатации / ВЦП. - 18 c. - Текст : непосредственный.Paalvast E.M.R.M. Programming for parallelism and compiling for efficiency : Diss. / E.M.R.M.Paalvast, 1992. - 229 p. - Текст : непосредственный.Breslauer D. Fast parallel string prefix-matching / D.Breslauer, 1992. - 8 p. - Текст : непосредственный.Breslauer D. Tight comparison bounds for the string prefix-matching problem / D.Breslauer,L.Colussi,L.Toniolo, 1992. - 7 p. - Текст : непосредственный.Pemberton S. The ergonomics of software porting automatically configuring software to the runtime environment -or- everything you wanted to know about your C compiler, but didn't know who to ask / S.Pemberton, 1992. - 20 p. - Текст : непосредственный.Igarashi J. ЕП expressions of sentential aspects in a contextual language processing model / J.Igarashi, 1993. - 93 p. - Текст : непосредственный.Залогова Л.А. Разработка Паскаль-компилятора : Учеб.пособие по спецкурсу / Л.А.Залогова, 1993. - 119 c. - Текст : непосредственный.Fokkink W.J. A complete equational axiomatisation for prefix iteration / W.J.Fokkink, 1994. - 6 p. - Текст : непосредственный.Eker S.M. A comparison of OBJ3 and ASF+SDF / S.M.Eker, 1992. - 24 p. - Текст : непосредственный.Предкомпиляторы ORACLE : Руководство для языка Pro*CВерсия 1.5Учетный номер 5452-15-1292Пер.с англ., 1994. - Разд.паг. с. - Текст : непосредственный.Ashton K. Pattern matching, conceptualisation, seminatics and logic / K.Ashton, 1994. - 14 p. - Текст : непосредственный.Серебряков В.А. Лекции по конструированию компиляторов / В.А.Серебряков, 1994. - 175 c. - Текст : непосредственный.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В.Ф.Очков,М.А.Рахаев, 1995. - 367 c. - Текст : непосредственный.complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.Kamperman J.F.Th. Simulating TRSs by minimal TRSs:a simple,efficient, and correct compilation technique / J.F.Th.Kamperman,H.R.Walters, 1996. - 15 p. - Текст : непосредственный.Naidich D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers / D.Naidich,T.B.Dinesh, 1996. - 34 p. - Текст : непосредственный.Towards a complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 53 p. - Текст : непосредственный.Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный.Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный.
Показать все результатыБондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный.Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный.Kotulski L. The separate complllation of the Colnet language / L. Kotulski, W. Kaczorowski, J. Rosek, 1991. - 12 p. - Текст : непосредственный.Зевина С.Г. Использование средств логического программирования в системах построения компиляторов : Препринт / С.Г.Зевина, 1991. - 30 с. - Текст : непосредственный.Бугеря А.Б. Компиляция и запуск программ на языке НОРМА / А.Б.Бугеря, 2001. - 12 с. - Текст : непосредственный.Проект верифицирующего компилятора. Ч.1. Общее описание проекта F BOOL , его место в компонентном подходе к программированию. Язык Mini-NIL - прототип языка виртуальной машины проекта / Е. В. Бодин, Н. А. Калинина, Н. В. Шилов, 2005. - 22 с. - Текст : непосредственный.Бодин Е.В. Проект верифицирующего компилятора fbool. Ч. 2: Логические аннотации в языке Mini-Nil, их статическая семантика и семантика времени исполнения / Е.В. Бодин, Н.А.Калинина, Н.В.Шилов, 2006. - 31 с. - Текст : непосредственный.Модульная архитектура компилятора языка Норма+ / А. Н. Андрианов [и др.], 2011. - 16 с. - Текст : непосредственный.Климов А.В. Суперкомпиляция: основные принципы и базовые понятия / А. В. Климов, С. А. Романенко, 2018. - 36 с.Романенко С.А. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления / С. А. Романенко, 2018. - 32 с.Кучик, Игорь Евгеньевич. Компиляции и запуск программ для выполнения на сервере Intel XeonPhi : препринт / И. Е. Кучик, В. А. Трофимов, 2017. - 76, [2] с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽