Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
специализация
Связанные издания:
Algorithms for Sensor and Ad Hoc Networks: Advanced Lectures
A Note on Specialization of Interprets
A Unification of Inheritance and Automatic Program Specialization
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/28th International Symposium, LOPSTR 2018, Frankfurt\Main, Germany, September 2018
Mixed Computation in Novosibirsk
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Protocol Specialization
Sharing the Runtime Representation of Classes Across Class Loaders
Software Testing via Model Checking
Алгоритмы анализа для эффективной специализации алголоподобных программ
Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру
От специализации к смешанным вычислениям
Специализация программ на объектно-ориентированых языках методом частичных вычислений
Схема эффективной специализации императивных программ
Эффективная специализация алголоподобных программ
Эффективная специализация алголоподобных программ (неформальное описание)