A Moss,
D Page - Proceedings of the 2009 ACM SIGPLAN workshop on …, 2009 - dl.acm.org
Program interpolation is a new type of transformation that given an input program written in a
specially constructed Domain Specific Language (DSL), produces a family of functionally …