A type theory for incremental computational complexity with control flow changes.
Ezgi ÇiçekZoe ParaskevopoulouDeepak GargPublished in: ICFP (2016)
Keyphrases
- control flow
- computational complexity
- data flow
- workflow management systems
- special case
- software testing
- real world
- high computational complexity
- process model
- np complete
- artificial intelligence
- business processes
- information technology
- expert systems
- data structure
- case study
- data sets
- business process models
- workflow processes