3 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Thomas Genet, Yann Salmon
We consider the problem of inferring a grammar describing the output of a functional program given a grammar describing its input. Solutions to this problem are helpful for detecti…