Գրեք սա: Automated program synthesis