Об одном подходе к автоматизации синтеза функциональных программдоклад на конференции