As mentioned in Sec. , we develop our approach as an extension of the classic attribute grammar (AG) framework [1]}. Now we give some background on static analysis using AGs. In the next section, we show how to use AGs to weakly supervise a neural program generator.
<FIGURE>