Extension of type-based approach to generation of stream processing programs by automatic insertion of buffering primitives (2005)

by Kohei Suenaga , Naoki Kobayashi , Akinori Yonezawa
Venue:In International workshop on Logic-based Program Synthesis and Transformation
Citations:6 - 3 self