RUSIST
Единый реестр книг

Компиляторы

Теоретические основы построения компиляторов : учебное пособие
2017
Панова Татьяна Володаровна, Николаева Нина Донатовна
2756
108
Теория компиляции : Справ. материалы
2000
Тимкин В. Н.
1277
382
Program logics for certified compilers
2014
Appel Andrew W, Dockins Robert, Hobor Aquinas
777
25
Supercompiler HOSC 1.0: proof of termination
2010
Ključnikov Il'ja G
1411
60
Supercompiler HOSC 1.0: under the hood
2009
Ključnikov Il'ja G
1981
396
Основы конструирования компиляторов : уебное пособие
2010
Иванова Галина Сергеевна (д-р техн. наук)
2165
146
Классическая теория компиляторов : Учеб. пособие
2002
Карпов Валерий Эдуардович (канд. техн. наук программирование)
1398
35
Principles of compiler design
1978
Aho Alfred Vaino, Ullman Jeffrey David
1322
287
Grundlagen der Compilertechnik
1975
Bachmann Peter
1701
417
MRSC: a toolkit for building multi-result supercompilers
2011
Ključnikov Il'ja Grigor'evič; Romanenko Sergej A
671
418
Теоретические основы проектирования компиляторов
1979
Льюис Ф.; Розенкранц Д.; Стириз Р.
2952
313
Ассемблеры и загрузчики
1974
Баррон Дэвид
1046
210
Towards effective two-level supercompilation
2010
Ključnikov Il'ja G
806
357
Формальные грамматики и трансляторы : учебное пособие
2006
Надточий Ирина Львовна
1349
225
Компиляторы : принципы, технологии и инструментарий
2008
Ахо Альфред В., Лам Моника С., Сети Рави, Ульман Джеффри Д.
1452
452
Compilertechnik
1976
Hohberg Bodo, Paulin Gerhard
2190
37
Advanced compiler techniques (lecture notes)
1965
Lombardi Lionello A.
834
81
Compilerbau : Grundlagen, Methoden, Werkzeuge
1988
Kopp Herbert
1654
17
Supercompilation by hypergraph transformation
2013
Grečanik Sergej Aleksandrovič
2640
53
Staged multi-result supercompilation: filtering before producing
2013
Grečanik Sergej Aleksandrovič, Ključnikov Il, Romanenko Sergej A
1783
326
Генератор синтаксических анализаторов YACC : конспект лекций
2006
Обломов Игорь Александрович
1028
55
Лингвистическое обеспечение информационных систем : учебное пособие
2009
Мигас Сергей Сергеевич, Колобов Виктор Леонидович
1630
90
Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@
2005
Бодин Евгений Викторович, Калинина Н. А., Шилов Н. В.
1574
41
An introduction to compiler writing
1975
Rohl Jeffrey Soden
727
505
The separate compilation of the COLNET language
1991
Kotulski L.; Kaczorowski W.; Rosek J.
2397
203
Compiler design theory
1976
Lewis Philip M., Rosenkrantz Daniel J., Stearns Richard Edwin
1889
334
Практическое программирование на Tcl и Tk
2004
Уэлш Брент, Джонс Кен, Хоббс Дж.
572
115
A compiler generator : An introd. to a practical system for generating mech. translators for programming lang
1970
MacKeeman William Marshall, Horning James Kay, Wortman David Barkley
2384
68
TT Lite: a supercompiler for Martin-Löf's type theory
2013
Ključnikov Il'ja Grigor'evič; Romanenko Sergej A
1873
407
Компиляторы : принципы, технологии и инструментарий
2015
Ахо Альфред В., Лам Моника С., Сети Рави, Ульман Джеффри Д.
2049
238
Основы конструирования компиляторов
2001
Серебряков Владимир Алексеевич, Галочкин Максим Павлович
1966
256
Рефал в мониторной системе "Дубна" БЭСМ-6 : Входной язык компилятора и запуск программ
1975
Проворов Л.В., Романенко С.А., Травкина Е.В., Климов Ан.В.
1459
315
Построение компиляторов
2010
Вирт Никлаус
980
353
Основы построения компиляторов : учеб.-практ. пособие
2007
Смирнова Наталия Николаевна (канд. техн. наук)
1951
378
Supercompiler HOSC: proof of correctness
2010
Ključnikov Il'ja G
694
428
Компиляторы : принципы, технологии и инструментарий
2017
Ахо Альфред В, Лам Моника С, Сети Рави, Ульман Джеффри Д
1373
108
Compiling lazy functional languages : Akad. avh
1987
Johnsson Thomas
2529
140
Ant : developers's handbook
2003
Williamson Alan, Pepperdine Kirk, Gibson Joey, Wu Andrew
1916
192
Engineering a compiler
2004
Cooper Keith D., Torczon Linda
1451
248
Compiler compilers : Proceedings
1991
2157
326
Модульная архитектура компилятора языка Норма+
2011
Андрианов Александр Николаевич, Бугеря Александр Борисович, Ефимкин Кирилл Николаевич, Колударов П. И.
1663
235
Компиляторы : Принципы, технологии, инструменты
2001
Ахо Альфред В., Сети Рави, Ульман Джеффри Д.
1467
331
Компиляторы : принципы, технологии и инструментарий
2018
Ахо Альфред В., Лам Моника С., Сети Рави, Ульман Джеффри Д.
1113
149
Compilation dans le projet Civa : Thèse ..
1973
Ducloy Jacques
1130
126
Разработка Паскаль-компилятора
2007
Залогова Любовь Алексеевна
2504
23
Компиляторы : принципы, технологии и инструментарий
2016
Ахо Альфред В., Лам Моника С., Сети Рави, Ульман Джеффри Д.
1395
391
A concurrent Pascal compiler for minicomputers
1977
Hartmann Alfred C.
1742
55