Generating heap-bounded programs in a functional setting (2003)

by Walid Taha, Stephan Ellner, Hongwei Xi
Venue:In In EMSOFT