Keyphrases
- genetic algorithm
- control flow
- program execution
- database transactions
- symbolic execution
- execution model
- application programs
- evolutionary algorithm
- prolog programs
- data flow
- automatic programming
- computer programs
- logic programs
- databases
- real time
- fixpoint
- workflow management systems
- intermediate level
- java programs