Автоматизация программирования в СССР: заключительная часть

Заключительная часть цикла докладов по автоматизации программирования в СССР. 

Речь пойдет о технологиях, которые и сегодня являются передовыми в области построения компиляторов. Это смешанные вычисления, суперкомпиляция и синтез программ. Акцент в докладе, как и ранее, не на истории вопроса, а на конкретных методах и алгоритмах.

Предыдущие доклады:

• Автоматизация программирования в СССР: субъективный обзор незаслуженно забытых теоретических результатов.
• Автоматизация программирования в СССР. Трансляторы (60–70-е годы).