Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives

DOI10.1007/11680093_7zbMath1156.68362OpenAlexW1542880505MaRDI QIDQ5302882

Naoki Kobayashi, Akinori Yonezawa, Kohei Suenaga

Publication date: 15 January 2009

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11680093_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

This page was built for publication: Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives