From program synthesis to optimal program synthesis | Publicación