Extension of TypeBased Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (2005)

by Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa
Venue:Pages 98–114 of: International Symposium on Logic-based Program Synthesis and Translformation (LOPSTR