1 paper
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…