56 citations · 61 across the 6 of their papers we have counts for
1 paper · 2 filters
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…