56 citations · 61 across the 6 of their papers we have counts for
1 paper · 1 filter
Qirun Zhang, Chengnian Sun, Zhendong Su
A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a collection of the identifiers V (variable names). This paper introduces the skeletal prog…