Compilation of Data-Driven Programs for Synchronous Execution.
Janice E. CunyLawrence SnyderPublished in: POPL (1983)
Keyphrases
- data driven
- control flow
- code generation
- program execution
- programs written
- model driven
- application programs
- symbolic execution
- data flow
- programming environment
- database transactions
- automatic programming
- operating system
- open source
- expert systems
- real world
- answer sets
- java programs
- provably correct
- relational databases
- artificial intelligence