Generating Heap-Bounded Programs in a Functional Setting.

Walid Taha, Stephan Ellner, Hongwei Xi

Browse the full EMSOFT paper archive.