プログレッシブストリーム処理のための意味論的基盤：Flo

ストリーム処理の多様なモデルと保証を統一するため、Floは「ストリーミングプログレス」と「イーガー実行」という2つの主要なセマンティック特性を導入し、決定論的で最新の出力生成を実現する。