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