Conversion from Data-Driven to Synchronous Execution in Loop Programs.
Janice E. CunyLawrence SnyderPublished in: ACM Trans. Program. Lang. Syst. (1987)
Keyphrases
- data driven
- program execution
- control flow
- data flow
- database transactions
- symbolic execution
- automatic programming
- execution model
- computer programs
- application programs
- asynchronous communication
- model driven
- plan execution
- object oriented
- control structures
- control program
- programming environment
- fixpoint
- integrity constraints
- case study
- artificial intelligence
- learning algorithm