Теория схем программ, схематология - актуальность.

[kvark]

Здравствуйте. Существует-ли какая-то на сегодняшний день в работах Ершова, Янова, Котова и прочих теоретиков схем программ актуальность? И если существует, то очень хотелось бы увидеть конкретные примеры применимости, кроме вопросов, связанных с алгоритмической разрешимостью или неразрешимостью проблем существования алгоритмов (здесь их направленность более или менее мне ясна).