Когда-то в университете занимался subj'евой тематикой,
даже диплом по этой теме писал.
Автоматический синтез программы -- это когда текст программы
создаётся по спецификации задачи (ну и знаниям предметной области).
Потом эту тему забросил, а вот сейчас снова стало любопытно,
какие есть разработки.
Такое впечатление, что после древних работ Тыугу
"Концептуальное программирование" и Ильина
"Система порождения программ" больше ничего не
было.
И что, действительно, такое многообещающее направление
никому не интересно?? Есть тут кто-то, занимающийся подобным?
Можете написать, что сейчас в мире на эту тему происходит?