6 citations · 16 across the 9 of their papers we have counts for
1 paper · 1 filter
Shantanu Mandal, Todd A. Anderson, Javier Turek +2
Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search problem with discrete para…