Designing Streamed Batch Programs