data-stream languages