Programming Automation in the USSR: subjective overview of unfairly forgotten theoretical results

This talk provides an overview of Soviet achievements in the fields of compilation, metacomputation and program synthesis. This refers to those theoretical results, which, in the speaker's opinion, have not lost their relevance today. Perhaps the most fruitful period from the 50s to the 70s is considered. The talk is illustrated with some practical examples.