Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.
Tomas PetricekDon SymePublished in: PADL (2011)
Keyphrases
- control flow
- concurrent programming
- data flow
- reactive systems
- programming language
- software testing
- process model
- concurrent programs
- transition systems
- business process models
- workflow management systems
- high performance computing
- databases
- massively parallel
- memory hierarchy
- model checking
- open source
- general purpose
- machine learning