Programming Automation in the USSR: Final Part

The final part of the series of talks on programming automation in the USSR.

We will talk about technologies that are still advanced in the field of compilers construction today. These are mixed computation, Refal and its compilation methods, and structural synthesis of programs. The emphasis of the talk, as before, is not on the background, but on specific methods and algorithms.