Joining dataflow with predicates.
Jeffrey FischerRanjit JhalaRupak MajumdarPublished in: ESEC/SIGSOFT FSE (2005)
Keyphrases
- data flow
- control flow
- design methodology
- predicate invention
- monotonicity constraints
- parallel computing
- user defined
- information retrieval
- object oriented
- multi agent systems
- search algorithm
- bayesian networks
- artificial intelligence
- genetic algorithm
- symmetry breaking
- database machine
- graph transformation
- neural network