Ваш поиск дал 10 результатов.

Результаты поиска
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2010. № 62. Суперкомпилятор HOSC 1.5: гомеоморфное вложение и обобщение для выражений высшего порядка / И. Г. Ключников Ключников, Илья Григорьевич 2010 Сводное описание: Препринты ИПМ имМВКелдыша - 2010 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2010. № 21. Суперкомпилятор HOSC 1.1: доказательство завершаемости / И. Г. Ключников Ключников, Илья Григорьевич 2010 Сводное описание: Препринты ИПМ имМВКелдыша - 2010 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2009. № 63. Суперкомпилятор HOSC 1.0: внутренняя структура / И. Г. Ключников Ключников, Илья Григорьевич 2009 Сводное описание: Препринты ИПМ имМВКелдыша - 2009 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2010. № 31. Суперкомпилятор HOSC: доказательство корректности / И. Г. Ключников Ключников, Илья Григорьевич 2010 Сводное описание: Препринты ИПМ имМВКелдыша - 2010 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2010. № 81. Towards Effective Two-Level Supercompilation / I. G. Klyuchnikov Ключников, Илья Григорьевич 2010 Перевод заглавия: На пути к быстрой двухуровневой суперкомпиляции. Сводное описание: Препринты ИПМ имМВКелдыша - 2010 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им. М. В. Келдыша. - 2013. № 73. TT Lite: a supercompiler for Martin-Löf’s type theory / I. G. Klyuchnikov, S. A. Romanenko Ключников, Илья Григорьевич Романенко, Сергей Анатольевич 2013 Перевод заглавия: TT Lite: суперкомпилятор для теории типов Мартина-Лёфа. Сводное описание: Препринты ИПМ им М В Келдыша - 2013 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2011. № 77. MRSC: инструментарий для создания многорезультатных суперкомпиляторов / И. Г. Ключников, С. А. Романенко Ключников, Илья Григорьевич Романенко, Сергей Анатольевич 2011 Сводное описание: Препринты ИПМ имМВКелдыша - 2011 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2012. № 19. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции / А. В. Климов, И. Г. Ключников, С. А. Романенко Климов, Андрей Валентинович Ключников, Илья Григорьевич Романенко, Сергей Анатольевич 2012 Сводное описание: Препринты ИПМ имМВКелдыша - 2012 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2012. № 24. Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC / А. В. Климов, И. Г. Ключников, С. А. Романенко Климов, Андрей Валентинович Ключников, Илья Григорьевич Романенко, Сергей Анатольевич 2012 Сводное описание: Препринты ИПМ имМВКелдыша - 2012 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им. М. В. Келдыша. - 2013. № 70. Staged multi-result supercompilation: filtering before producing / S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko Гречаник, Сергей Александрович Ключников, Илья Григорьевич Романенко, Сергей Анатольевич 2013 Перевод заглавия: Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения. Сводное описание: Препринты ИПМ им М В Келдыша - 2013 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)