Monoidal Streams for Dataflow Programming.
Elena Di LavoreGiovanni de FeliceMario RománPublished in: CoRR (2022)
Keyphrases
- programming language
- data streams
- high level language
- database machine
- programming environment
- real time
- multi stream
- sliding window
- data flow
- parallel computing
- equational theories
- stream processing
- development environment
- case study
- design methodology
- continuous queries
- theorem proving
- computer programming
- object oriented
- user interface
- transactional data
- learning algorithm
- programming environments
- graph transformation
- databases
- data sets