Спасибо, но интересуют именно учебные программы, а не книги.

LVV>Цель какая?

Ну, я сам преподаю один такой курс (технологии оптимизирующей компиляции), но при поиске материала попадаются только курсы из преимущественно американских университетов. Мне стало любопытно что преподают у нас, и я почти ничего не нашёл. Думаю есть несколько объективных причин почему такого материала мало, и он плохо ищется. Но мне стало интересно может кто-нибудь из студентов/преподов, обитающих на форумах прямую ссылку даст, или просто что-нибудь расскажет.