Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows.
Gábor E. GévayTilmann RablSebastian BreßLorand Madai-TahyVolker MarklPublished in: CoRR (2018)
Keyphrases
- control flow
- data flow
- software testing
- process model
- workflow management systems
- modeling language
- transition systems
- business process models
- shared memory
- databases
- memory hierarchy
- formal semantics
- workflow processes
- database
- reactive systems
- parallel computation
- computer architecture
- parallel processing
- database systems
- decision trees
- data sets