Talk type: Talk

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

  • Talk in Russian
Presentation pdf

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.

  • #compiler_history
  • #compilers
  • #ershov_number
  • #graph_rewriting
  • #instruction_scheduling
  • #register_allocation
  • #value_numbering
  • #программирующие_программы