Towards effective two-level supercompilation
787

Towards effective two-level supercompilation

Автор:
Ključnikov Il'ja G
Год:
2010
Язык:
Английский
Страниц:
28
Заглавие серии:
Препринт / Keldysh inst. of appl. mathematics, Russ. acad. of sciences ; N 81 за 2010 г. [2071-2898]
Описание:
Ključnikov I. G. Towards effective two-level supercompilation / Ilya Klyuchnikov. - Moscow : Ин-т приклад. математики, 2010. - 28 с. ; 21 см. - (Препринт / Keldysh inst. of appl. mathematics, Russ. acad. of sciences ; N 81 за 2010 г. [2071-2898]). - Библиогр.: с. 26-28 (23 назв.)
Рейтинг по отзывам:
3
Рубрики:
HOSC, компиляторы(компьют.)
Примечания:
На обороте тит. л.: На пути к быстрой двухуровневой суперкомпиляции / Илья Ключников . - На обл. надзаг. на рус. яз. . - Рез. на рус. яз. . - Библиогр.: с. 26-28 (23 назв.)
Дата создания:
2019-09-07 12:53:24
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Towards effective two-level supercompilation
Эта книга оказалась полезной?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Ključnikov Il'ja G
Supercompiler HOSC 1.0: proof of termination
Supercompiler HOSC 1.0: under the hood
Supercompiler HOSC: proof of correctness
Название и адрес
Режим работы
Телефон
Центральна бібліотека ім. І.С. Тургенєва
Харьковская область, Харьков, Слободской район
Пилотов переулок, 1а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +380 (57) 775-44-97
Показать номер
Название и адрес
Режим работы
Телефон
Бібліотека ім. В. Яна
Киев город со специальным статусом, Київ, Дніпровський район, Соцмісто
Миру проспект, 13
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 11:00-19:00
Вс: 11:00-18:00
 +380 (44) 559-82-46 +380 (44) 559-33-61
Показать номер
Название и адрес
Режим работы
Телефон
Ариадна, библиотека
Кемеровская область, Кемерово городской округ, Кемерово, Ленинский район
Волгоградская, 6
Расположение на карте
летний период: пн-пт 10:00-19:00; сб выходной; санитарный день: первый пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
 +7 (3842) 35-18-35
Показать номер
Название и адрес
Режим работы
Телефон
Чувашская республиканская специальная библиотека им. Л.Н. Толстого
Чувашская Республика, Чебоксары городской округ, Чебоксары, Калининский район, Южный
Рихарда Зорге, 1
Расположение на карте
санитарный день: последний день месяца; летний период: пн-пт 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 09:00-17:00
 +7 (8352) 52-78-76 +7 (8352) 52-79-24
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №7
Краснодарский край, Новороссийск городской округ, Новороссийск, Южный район, 7-й микрорайон
Куникова, 62
Расположение на карте
санитарный день: 30 число месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
Вс: 09:00-17:00
 +7 (8617) 63-76-35
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №14
Саратовская область, Саратов городской округ, Саратов, Волжский район, Соколовогорский
Соколовогорская, 2
Расположение на карте
технический день: последняя пт месяца; июль-август: вт-сб 10:00-20:00; вс выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (8452) 75-22-18
Показать номер
Название и адрес
Режим работы
Телефон
Областная детская библиотека им. В. Маяковского
Челябинская область, Челябинский городской округ, Челябинск, Центральный район
Коммуны, 129
Расположение на карте
зимний период: пн-пт 9:00-18:00; вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Название и адрес
Режим работы
Телефон
Железноводская городская детская центральная библиотека
Ставропольский край, Железноводск городской округ, Железноводск
Октябрьская, 53
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-12:30 13:00-17:00
Вт: 10:00-12:30 13:00-17:00
Ср: 10:00-12:30 13:00-17:00
Чт: 10:00-12:30 13:00-17:00
Пт: 10:00-12:30 13:00-17:00
Сб: 10:00-12:30 13:00-17:00
 +7 (87932) 4-76-31
Показать номер
Название и адрес
Режим работы
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Спартака, 11
Расположение на карте
санитарный день: последний вт месяца; зимний период: летний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (3843) 74-00-91
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека семейного чтения
Хабаровский край, Хабаровск городской округ, Хабаровск, Индустриальный район, Красная Речка
Мате Залки, 50
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 10:00-18:00
 +7 (4212) 53-07-05
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Лабиринт, интернет-магазин
Кемеровская область, Калтанский городской округ, Калтан
Мира проспект, 43в
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-19:00
 +7 (3843) 99-15-18 8-800-500-95-25
Показать номер
Название и адрес
Режим работы
Телефон
Автокнига, сеть специализированных магазинов
Архангельская область, Архангельск городской округ, Архангельск, Ломоносовский округ
Ломоносова проспект, 18
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7-921-480-41-44
Показать номер
Название и адрес
Режим работы
Телефон
Пресса-Мир, ООО, оптово-розничная компания
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ
Кирова, 28а
Расположение на карте
Пн: 08:00-18:00
Вт: 08:00-18:00
Ср: 08:00-18:00
Чт: 08:00-18:00
Пт: 08:00-18:00
Сб: 09:00-15:00
 +7 (3012) 21-16-47
Показать номер
Название и адрес
Режим работы
Телефон
Школьник, книжный магазин
Брянская область, Брянск городской округ, Брянск, Бежицкий район
Ульянова, 128
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-17:00
 +7 (4832) 57-54-01
Показать номер
Название и адрес
Режим работы
Телефон
Деловая книга, магазин
Чувашская Республика, Чебоксары городской округ, Чебоксары, Ленинский район
Ленина проспект, 11
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-19:00
Название и адрес
Режим работы
Телефон
ЧИТАЙ-ГОРОД, сеть книжных магазинов
Алтайский край, Барнаул городской округ, Барнаул, Центральный район, Центр
Ленина проспект, 47
Расположение на карте
Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-21:00
Вс: 09:00-21:00
 8-800-444-84-44
Показать номер
Название и адрес
Режим работы
Телефон
Книги, сеть книжных магазинов, ИП Хасанова К.З.
Алтайский край, Барнаул городской округ, Барнаул, Ленинский район, Дальние Черёмушки
Попова, 43
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-17:00
 +7 (3852) 43-36-59 +7 (3852) 43-76-43
Показать номер
Название и адрес
Режим работы
Телефон
Кругозор, магазин книг, подарков и канцтоваров
Смоленская область, Смоленск городской округ, Смоленск, Ленинский район
Октябрьской Революции, 13
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (4812) 65-85-03 +7 (4812) 38-99-21
Показать номер
Название и адрес
Режим работы
Телефон
Буквоед, сеть книжно-канцелярских магазинов
Санкт-Петербург, Санкт-Петербург, Приморский район, МО №65
Торфяная дорога, 4
Расположение на карте
Пн: 08:00-22:00
Вт: 08:00-22:00
Ср: 08:00-22:00
Чт: 08:00-22:00
Пт: 08:00-22:00
Сб: 08:00-22:00
Вс: 08:00-22:00
 +7 (812) 601-06-01 +7 (812) 680-24-43
Показать номер
Название и адрес
Режим работы
Телефон
АзъБука, сеть магазинов
Санкт-Петербург, Санкт-Петербург, Выборгский район, МО №17 "Шувалово-Озерки"
Хошимина, 13 к1
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
 +7-969-706-54-86
Показать номер
Прикрепить файл